yap-prolog

Here are 3 public repositories matching this 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.

Add a description, image, and links to the yap-prolog topic page so that developers can more easily learn about it.

To associate your repository with the yap-prolog topic, visit your repo's landing page and select "manage topics."