Prolog
Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Wikipedia
Created Year: 1972Designed by: Alain Colmerauer • Philippe Roussel • Robert Kowalski
Aliases: Programming in Logic
File extensions: P, pl, pro
Wikidata: Q163468
Influenced: Ciao • CLACL • Constraint Handling Rules • Curry • Erlang • Go! • Logtalk • Mercury • Oz • Wolfram Language • XSB
Influenced by: Planner
Programming paradigms: declarative programming • logic programming • modular programming
Language types: declarative programming language • deductive language • logic programming language
Prolog Influence Network
Pan and zoom the graph with your mouse or alternatively your fingers on touch devices.
Hello World in Prolog
helloWorld :-
write('Hello World').
:- helloWorld.
Source: github.com/leachim6/hello-world
Free Prolog books, articles, documentation
- Adventure in Prolog - Dennis Merritt
- Coding Guidelines for Prolog - Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price
- Concise Intro to Prolog - David Matuszek
- Expert Systems in Prolog - David Matuszek
- GNU Prolog Manual - Daniel Diaz (PDF)
- Introduction to Prolog for Mathematicians - J. Ireson-Ireson-Paine
- Learn Prolog Now!
- Logic, Programming and Prolog (2ed) - Ulf Nilsson, Jan Maluszynski
- Natural Language Processing Techniques in Prolog - P. Blackburn, K. Striegnitz
- Prolog and Natural - Language Analysis - Fernando C. N. Pereira, Stuart M. Shieber
- Prolog for Programmers - Feliks Kluźniak, Stanisław Szpakowicz, Janusz S. Bień
- Prolog Problems - Werner Hett
- Prolog Tutorial - J. R. Fisher
- Simply Logical: Intelligent Reasoning by Example - Peter Flach
- The Art of Prolog, Second Edition - Leon S. Sterling, Ehud Y. Shapiro (Open Access)
- The First 10 Prolog Programming Contests - Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Tronçon
- The Power of Prolog - Markus Triska
- Warren's Abstract Machine: A Tutorial Reconstruction - Hassan A¨it-Kaci
Constraint Logic Programming (extended Prolog)
Search on GitHub
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2025-08-11