Next: Knowledge representation Up: A Rule-based Inference Engine Previous: From Relational Databases to Contents
The chapter describes Prolog language. Prolog stands for Programming in Logic, an idea which emerged in 1970s to use logic as a programming language. The early developer of this idea included Alain Colmerauer at Marseilles, Robert Kowalski at Edinburgh and Maarten van Emden at Eddinburgh [4,1]. Prolog is a superset of Datalog described in Chapter 4.