An operational formal definition of PROLOG: A specification method and its application

DOI10.1007/BF03037477zbMath0741.68028MaRDI QIDQ1186100

Gérard Ferrand, Pierre Deransart

Publication date: 28 June 1992

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

operational semanticsPROLOGformal specificationvalidationproof methodprototyping

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17) Theory of software (68N99)

Related Items (2)

A logical semantics for depth-first Prolog with ground negation ⋮ Proof methods of declarative properties of definite programs

Uses Software

• PARLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof methods of declarative properties of definite programs
• Simple operational and denotational semantics for Prolog with cut
• Degrees of belief, expected and actual
• Relating logic programs and attribute grammars
• PARLOG: parallel programming in logic
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Denotational and operational semantics for prolog
• Contributions to the Theory of Logic Programming
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: An operational formal definition of PROLOG: A specification method and its application