Next:
Introduction to logic programming
Up:
Programming Language Concepts: Lecture
Previous:
Type inference with shallow
Contents
Logic programming
Subsections
Introduction to logic programming
Facts and rules
Computing in Prolog
Complex structures in Prolog
Turning the question around
Arithmetic
Negation as failure
Cut
Madhavan Mukund 2004-04-29
