Logic Programming

Abstract

• Prolog, Alain Colmerauer 1972 • Program = a knowledge base expressed as definite clauses • Queries to the knowledge base • Closed world assumption: we assume ¬ to be true if sentence is not entailed by the knowledge base • Syntax: • Capital characters denote variables, • Small character stand for constants, • The head of the rule precedes the body, Appending what two lists gives the list [1,2]? • As the answer we get back all possible substitutions A=[ ] B=[1,2] A=[1] B=[2] A=[1,2] B=[ ]