scientific article; zbMATH DE number 3992920

MaRDI QIDQ4720772zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

data typeshigher-order logicimperative programminglogic programmingprocedurePROLOGstructured programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Higher-order Horn clauses
• scientific article; zbMATH DE number 3988745
• HiLog: A foundation for higher-order logic programming
• Programming with higher-order logic.
• A semantics for Prolog

Cited in

(9)

• A note on higher-order functions versus logical variables
• A logico-algebraic approach to the model theory of knowledge
• Smallest horn clause programs
• scientific article; zbMATH DE number 1822447 (Why is no real title available?)
• Higher-order Horn clauses
• scientific article; zbMATH DE number 3988745 (Why is no real title available?)
• scientific article; zbMATH DE number 1497833 (Why is no real title available?)
• scientific article; zbMATH DE number 1508924 (Why is no real title available?)
• scientific article; zbMATH DE number 3999279 (Why is no real title available?)

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 Q4720772)