Prolog SWI-Prolog YAP (Prolog) Comparison of Prolog implementations Prolog syntax and semantics Visual Prolog ΛProlog Prolog, Ljubuški Prolog++ SICStus Prolog Prolog, Livno Quintus Prolog Księga Tajemnicza. Prolog GNU Prolog BNR Prolog B-Prolog Mali Prolog Veliki Prolog Logtalk XSB Logic Programming Associates ECLiPSe CLP(R) Fril Prolog32 Warren Abstract Machine Ciao (programming language) Strand (programming language) Definite clause grammar Objlog Mercury (programming language) KL0 Class browser Planner (programming language) Occurs check Jan Wielemaker D62 road KL1 Declarative programming Conflict resolution strategy Mykola Lebed Richard O'Keefe CHIP (programming language) David H. D. Warren Indeterminacy in…

n concurrent computation ProbLog Tabled logic programming Stevan Šalajić Alain Colmerauer Poplog Red Bull Romaniacs Hard Enduro Rallye Deductive language Higher-order programming Deductive database SWI Constraint Handling Rules Functor (disambiguation) Anne Ogborn Keith Clark (computer scientist) Logic programming Absys Thanatos (album) Symbol (programming) Answer set programming Clause (logic) Loopless algorithm Prova Concur

rent logic programming Algebraic Logic Functional programming language SLD resolution Swedish Institute of Computer Science Pojezerje Requiem of Reconciliation Ehud Shapiro Cut (logic programming) Negation as failure DJ Feel-X Fifth Generation Computer Systems Radmila Savićević Syntax and semantics of logic programming Yap (disambiguation) Datalog D222 road Twelf POP-11 Difference list Croatian Association of Theatre Critics and Theatre Scholars Reliquiae (band) Root element Norman Paton Bernard Audley Algorithmic program debugging Nominal terms (computer science) Miroljub Lešo 3APL Fast Artificial Neural Network Viktor Starčić Left corner The Morall Fabillis of Esope the Phrygian Ho