| Prolog | … |
|---|---|
| Paradigm | Logic |
| Designed by | Alain Colmerauer |
| First appeared | 1972 |
| Stable release | Part 1: General core-Edition 1 (June 1995) Part 2: Modules-Edition 1 (June 2000) Part 3: Definite clause grammar rules (June 2025) |
| Typing discipline | Untyped (its single data type is “term”) |
| Filename extensions | .pl, .pro, .P |
| Website | Part 1: www.iso.org/standard/21413.html Part 2: www.iso.org/standard/20775.html Part 3: www.iso.org/standard/83635.html |
| Major implementations | … |
| Amzi! Prolog, B-Prolog, Ciao, ECLiPSe, GNU Prolog, LPA Prolog, Poplog, P#, Quintus Prolog, Scryer Prolog, SICStus, Strawberry, SWI-Prolog, Tau Prolog, tuProlog, WIN-PROLOG XSB, YAP. | … |
| Dialects | … |
| ISO Prolog, Edinburgh Prolog | … |
| Influenced by | … |
| Planner | … |
| Influenced | … |
| CHR, Clojure, Datalog, Erlang, Epilog, KL0, KL1, Logtalk, Mercury, Oz, Strand, Visual Prolog | … |
| • Prolog at Wikibooks | … |
(echo:: @ ᯤ)