There are 0 repository under yap-prolog topic.
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
Various algorithms and data structures in c, prolog, sml, ocaml, java.
Научно-исследовательская работа на тему "Параллелизация логического вывода"