scientific article; zbMATH DE number 3913653

MaRDI QIDQ3690195zbMATH OpenFDO

Authors Christopher J. Hogger

Publication date 1984

zbMATH Keywords

Horn-clause logicimplementations of PROLOGlogic programminglogic programs

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 953819
• Introduction to logic programming
• scientific article; zbMATH DE number 49478
• scientific article; zbMATH DE number 49397
• scientific article; zbMATH DE number 851596

Cited in

(28)

• Worst-case analysis of the set-union problem with extended backtracking
• Relevant logic programming
• Conclog: a methodological approach to concurrent logic programming
• On completeness of logic programs
• scientific article; zbMATH DE number 410424 (Why is no real title available?)
• The relation between logic programming and logic specification
• scientific article; zbMATH DE number 4028866 (Why is no real title available?)
• scientific article; zbMATH DE number 4106296 (Why is no real title available?)
• scientific article; zbMATH DE number 42415 (Why is no real title available?)
• scientific article; zbMATH DE number 48608 (Why is no real title available?)
• scientific article; zbMATH DE number 49397 (Why is no real title available?)
• scientific article; zbMATH DE number 48279 (Why is no real title available?)
• scientific article; zbMATH DE number 52484 (Why is no real title available?)
• scientific article; zbMATH DE number 53604 (Why is no real title available?)
• scientific article; zbMATH DE number 86272 (Why is no real title available?)
• Deduction and Declarative Programming
• scientific article; zbMATH DE number 192840 (Why is no real title available?)
• scientific article; zbMATH DE number 1260597 (Why is no real title available?)
• scientific article; zbMATH DE number 587821 (Why is no real title available?)
• scientific article; zbMATH DE number 708499 (Why is no real title available?)
• scientific article; zbMATH DE number 194582 (Why is no real title available?)
• scientific article; zbMATH DE number 953819 (Why is no real title available?)
• LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY
• VIRTUAL SHARED MEMORY MACHINES— AN APPLICATION OF PVM∗
• scientific article; zbMATH DE number 851596 (Why is no real title available?)
• Introduction to logic programming
• Correctness and completeness of logic programs
• Logic programming

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