Foundations of Logic Programming

• 1 January 1987
• book
• Published by Springer Nature
• https://doi.org/10.1007/978-3-642-83189-8

Abstract

Keywords

• MATHEMATICA
• RESOLUTION
• ARTIFICIAL INTELLIGENCE
• CONSTRAINT
• INTELLIGENCE
• KNOWLEDGE
• LOGIC
• LOGIC PROGRAMMING
• MATHEMATICS
• PROGRAMMING
• SEMANTICS