yap-prolog

There are 3 repositories under yap-prolog topic.

  • logicmoo/wam_common_lisp

    Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

    Language:Common Lisp10222110
  • algorithms

    alexMet/algorithms

    Various algorithms and data structures in c, prolog, sml, ocaml, java.

    Language:Java0200

  • leontartykov/bmstu_sem_5_research_work

    Научно-исследовательская работа на тему "Параллелизация логического вывода"

    Language:TeX10