scientific article; zbMATH DE number 4076677

MaRDI QIDQ3807643zbMATH OpenFDO

Authors Marc Bezem

Publication date 1988

zbMATH Keywords

depth-first searchlogic programmingprogramming language PROLOGSLD- resolutionunification

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Logic and logic programming. Vol. 1: Foundations
• scientific article; zbMATH DE number 52720
• scientific article; zbMATH DE number 1531964
• scientific article; zbMATH DE number 3872640
• scientific article; zbMATH DE number 192840

Cited in

(32)

• IDNAF Prolog
• Basic paradigms of programming
• Reasoning with logic programming
• Unifying theories for logic programming
• Logic programming in the 1970s
• scientific article; zbMATH DE number 4016168 (Why is no real title available?)
• scientific article; zbMATH DE number 4172365 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• Logic Programming Languages for Databases and the Web
• scientific article; zbMATH DE number 3940699 (Why is no real title available?)
• A logical reconstruction of Prolog II
• A constructive view of PROLOG
• scientific article; zbMATH DE number 4011898 (Why is no real title available?)
• Support logic programming
• scientific article; zbMATH DE number 4060686 (Why is no real title available?)
• scientific article; zbMATH DE number 4072431 (Why is no real title available?)
• scientific article; zbMATH DE number 4094775 (Why is no real title available?)
• scientific article; zbMATH DE number 4094864 (Why is no real title available?)
• scientific article; zbMATH DE number 4104373 (Why is no real title available?)
• scientific article; zbMATH DE number 4106296 (Why is no real title available?)
• scientific article; zbMATH DE number 43016 (Why is no real title available?)
• scientific article; zbMATH DE number 42100 (Why is no real title available?)
• scientific article; zbMATH DE number 52720 (Why is no real title available?)
• scientific article; zbMATH DE number 65531 (Why is no real title available?)
• Logic programming and knowledge representation
• scientific article; zbMATH DE number 1531964 (Why is no real title available?)
• scientific article; zbMATH DE number 4113971 (Why is no real title available?)
• scientific article; zbMATH DE number 804363 (Why is no real title available?)
• scientific article; zbMATH DE number 851596 (Why is no real title available?)
• Logic and logic programming. Vol. 1: Foundations
• Logic programming
• Semantics for logic programs without occur check

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