wjy + prolog   6

miniKanren.org
miniKanren is an embedded Domain Specific Language for logic programming.

The core miniKanren language is very simple, with only three logical operators and one interface operator.
The core language, using Scheme as the host language, is described in this short, interactive tutorial.

miniKanren has been implemented in a growing number of host languages, including Scheme, Racket, Clojure,
Haskell, Python, JavaScript, Scala, Ruby, OCaml, and PHP, among many other languages.

miniKanren is designed to be easily modified and extended; extensions include Constraint Logic Programming,
probabilistic logic programming, nominal logic programming, and tabling.

A detailed discussion of the differences between miniKanren and Prolog can be found here.
programming  logic  clojure  prolog  dsl 
october 2017 by wjy
larsyencken/marelle
Test-driven system administration with a little extra logic.
prolog  devops  language  sysadmin  logic 
november 2013 by wjy

Copy this bookmark:



description:


tags: