Scoping constructs in logic programming: Implementation problems and their solution

DOI10.1016/0743-1066(95)00037-KMaRDI QIDQ3128624zbMATH OpenFDO

Authors Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

Publication date 5 October 1997

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(95)00037-K

zbMATH Keywords

logic programmingWarren abstract machine

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A treatment of higher-order features in logic programming
• scientific article; zbMATH DE number 1543038
• Extensions to logic programming motivated by the construction of a generic theorem prover
• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

Cited in

(8)

• A proof procedure for the logic of hereditary Harrop formulas
• Efficient resource management for linear logic proof search
• Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures
• A treatment of higher-order features in logic programming
• scientific article; zbMATH DE number 1479612 (Why is no real title available?)
• scientific article; zbMATH DE number 1543038 (Why is no real title available?)
• Extensions to logic programming motivated by the construction of a generic theorem prover
• Program self-reference in constructive Scott subdomains

This page was built for publication: Scoping constructs in logic programming: Implementation problems and their solution

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