Prolog
Programming in Logic
First appeared: 1972Designed by: Alain Colmerauer, Robert Kowalski
A logic programming language based on first-order predicate calculus, widely used for AI, expert systems, and natural language processing.
Links
Paradigm
Logic
Hello, World
main :- write('Hello, World!'), nl.About
Created in 1972 by Alain Colmerauer and Robert Kowalski. ISO standard published in 1995. SWI-Prolog is a widely used modern implementation.
Type system: DynamicEcosystem
Package Managers
SWI-Prolog pack
Frameworks
SWI-PrologGNU Prolog