
This book teaches the techniques of Logic Programming through the Prolog language. The name stands for Programming in Logic. Prolog has been used for a wide variety of applications, including as the basis for a standard 'knowledge representation language' for the Semantic Web...

Introduction.- Getting Started.- Clauses and Predicates.- Satisfying Goals.- Operators and Arithmetic.- Input and Output.- Loops.- Preventing Backtracking.- Changing the Prolog Database.- List Processing.- Strong Processing.- More Advanced Features.- Using Grammar Rules to...
