Defining standard Prolog in rewriting logic

MaRDI QIDQ2703696zbMATH OpenFDO

Authors M. Kulas, C. Beierle

Publication date 7 May 2001

zbMATH Keywords

procedural semanticsProlog systemrewriting systemSLD-resolution

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Recommendations

• Towards a logical semantics for pure Prolog
• Is there an axiomatic semantics for standard pure Prolog?
• scientific article; zbMATH DE number 4092824
• scientific article; zbMATH DE number 867332
• scientific article; zbMATH DE number 19144

Cited in

(3)

• The role of standardising apart in logic programming
• Rewriting logic: Roadmap and bibliography
• Defining Datalog in Rewriting Logic

This page was built for publication: Defining standard Prolog in rewriting logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2703696)