scientific article; zbMATH DE number 19144

MaRDI QIDQ3976572zbMATH OpenFDO

Authors Egon Börger

Publication date 26 June 1992

zbMATH Keywords

dynamic algebrasoperational semanticsPROLOG

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Review text

[For the entire collection see Zbl 0734.00012.] We want to give a complete operational semantics, using dynamic algebras, for the full language of PROLOG, i.e. Prolog including all the usual non- logical built-in predicates for arithmetic, input/output and manipulations of terms, files and databases. Our description of all the basic (logical and non-logical) features of Prolog will be given entirely by first-order structures.

Recommendations

• scientific article; zbMATH DE number 65740
• scientific article; zbMATH DE number 18622
• Denotational and operational semantics for prolog

Cited in

(11)

• A declarative approach for first-order built-in's of Prolog
• A logical semantics for depth-first Prolog with ground negation
• A mathematical definition of full Prolog
• Defining standard Prolog in rewriting logic
• Operational and denotational semantics of prolog
• Sémantique logique et dénotationnelle des interpréteurs PROLOG
• scientific article; zbMATH DE number 18622 (Why is no real title available?)
• scientific article; zbMATH DE number 65740 (Why is no real title available?)
• A linear operational semantics for termination and complexity analysis of ISO prolog
• Axiomatizations of backtracking
• Is there an axiomatic semantics for standard pure Prolog?

This page was built for publication:

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