Prolog is the most commonly used logic programming language. It supports non-deterministic programming through chronological backtracking and pattern matching through unification.

- Stackoverflow.com Wiki
1 articles, 0 books.

After reading the post, you should be able to write simple programs in Prolog and understand the languageā€™s underlying primary principles.