Prolog syntax
The craft of prolog pdf.
Logic programming language
Prolog
Programming language that uses first order logic
This article is about the programming language. For the narrative device, see Prologue. For other uses, see Prologue (disambiguation).
| Paradigm | Logic |
|---|---|
| Designed by | Alain Colmerauer |
| First appeared | 1972; 53 years ago (1972) |
| Stable release | Part 1: General core-Edition 1 (June 1995; 29 years ago (1995-06)) |
| Typing discipline | Untyped (its single data type is "term") |
| Filename extensions | , , |
| Website | Part 1: www.iso.org/standard/21413.html Part 2: www.iso.org/standard/20775.html |
| Amzi!
Prolog, B-Prolog, Ciao, ECLiPSe, GNU Prolog, LPA Prolog, Poplog, P#, Quintus Prolog, Scryer Prolog, SICStus, Strawberry, SWI-Prolog, Tau Prolog, tuProlog, WIN-PROLOGXSB, YAP. | |
| ISO Prolog, Edinburgh Prolog | |
| Planner | |
| CHR, Clojure, Datalog, Erlang, Epilog, KL0, KL1, Logtalk, Me
| |