|
Prolog is a logic programming language.
It is a general purpose language often associated with artificial intelligence and computational linguistics.
It has a strongly declarative style, which is based on predicate calculus.
 Using Prolog GNU Prolog |