Introduction

Prolog is a logic programming general purpose fifth generation language associated with artificial intelligence and computational linguistics. It has a purely logical subset, called "pure Prolog", as well as a number of extralogical features.

References

1. http://en.wikipedia.org/wiki/Prolog