See artikkel ootab keeletoimetamist. |
Prolog | |
---|---|
Paradigma | loogiline |
Väljalaskeaeg | 1972 |
Looja | Alain Colmerauer |
Implementatsioonid | BProlog, Ciao Prolog, ECLiPSe, GNU Prolog, Logic Programming Associates, Poplog Prolog, P#, Quintus, SICStus, Strawberry, SWI-Prolog, tuProlog, YAP-Prolog |
Dialektid | ISO Prolog, Edinburgh Prolog |
Mõjutanud keeli | Visual Prolog, Mercury, Oz, Erlang, Strand, KL0, KL1, Datalog |
Prolog on loogika programmeerimiseks mõeldud deklaratiivne programmeerimiskeel, mis põhineb predikaatloogikal.