Ukanren
Soufflé | Soufflé • A Datalog Synthesis Tool for Static Analysis
Datalog#programming#language#Datalog#logic#declarative#C++#open source#License: UPL-1.0#static#analysisFlix | The Flix Programming Language
Strawberry Prolog
Professional tool for programming in Prolog. Free Light edition with many example programs in it.
РеалізаціїYAP: YAP 7.1.0 Reference Manual
trealla-prolog/trealla: A compact, efficient Prolog interpreter written in plain-old C.
A compact, efficient Prolog interpreter written in plain-old C. - trealla-prolog/trealla
The GNU Prolog web site
CxProlog Page
The Ciao Prolog system