Topic: "yap-prolog"
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 Lisp - Size: 50.5 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 96 - Forks: 8
leontartykov/bmstu_sem_5_research_work
Научно-исследовательская работа
Language: TeX - Size: 1.43 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
alexMet/algorithms
Various algorithms and data structures in c, prolog, sml, ocaml, java.
Language: Java - Size: 7.21 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
