scientific article; zbMATH DE number 19144

MaRDI QIDQ3976572zbMATH OpenFDO

Authors Egon Börger

Publication date 26 June 1992

zbMATH Keywords

operational semanticsPROLOGdynamic algebras

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(10)

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

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)