Prolog
Programming language
>
Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving and computational linguistics. Wikipedia
Designed by: Alain Colmerauer and Philippe Roussel
First appeared: 1972; 52 years ago
Paradigm: Logic
Stable release: Part 1: General core-Edition 1 (June 1995; 28 years ago); Part 2: Modules-Edition 1 (June 2000; 23 years ago)
Typing discipline: Untyped (its single data type is "term")
Show more
Show less