The relation between logic programming and logic specification

DOI10.1098/RSTA.1984.0064MaRDI QIDQ3341879zbMATH OpenOpenAlexFDO

Authors

Publication date 1984

Published in Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1098/rsta.1984.0064

zbMATH Keywords

logic programmingpredicate logicprogram derivationprogram specificationprogram verification

Mathematics Subject Classification ID

Classical first-order logic (03B10) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Algorithms in computer science (68W99)

Recommendations

• An operational formal definition of PROLOG: A specification method and its application
• The relationship between logic programs and specifications-the subset example revisited
• scientific article; zbMATH DE number 90777
• scientific article; zbMATH DE number 3913653
• scientific article; zbMATH DE number 3878341

Cited in

(10)

• An operational formal definition of PROLOG: A specification method and its application
• Logical debugging
• The role of standardising apart in logic programming
• On the relationship between TMS and logic programs
• On completeness of logic programs
• scientific article; zbMATH DE number 90777 (Why is no real title available?)
• The relationship between logic programs and specifications-the subset example revisited
• LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY
• Correctness and completeness of logic programs
• Logic program proportions

This page was built for publication: The relation between logic programming and logic specification

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