Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in minikanren

conda, condi, conde, condu

clojure scheme clojure-core.logic minikanren reasoned-schemer

What are the main technical differences between Prolog and miniKanren, with respect to logic programming? [closed]

prolog logic-programming minikanren
« Newer Entries