scientific article; zbMATH DE number 19144

zbMATH Open0744.68088MaRDI QIDQ3976572FDOQ3976572

Authors: Egon Börger 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (10)

• A declarative approach for first-order built-in's of Prolog
• Title not available (Why is that?)
• A logical semantics for depth-first Prolog with ground negation
• Title not available (Why is that?)
• 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)