minikanren-scala

In logic programming, a substitution is a mapping from logic variables to values (including other logic variables). Logic programs are composed of goals, with the type signature Subst => Subst* — i.e. it might fail (thus generating 0 possible ... [More] substitution), succeed once, or succeed multiple times, or even an infinite number of times. It is necessary [...] [Less]

In logic programming, a substitution is a mapping from logic variables to values (including other logic variables). Logic programs are composed of goals, with the type signature Subst => Subst* — i.e. it might fail (thus generating 0 possible substitution), succeed once, or succeed multiple times, or even an infinite number of times. It is […]

In logic programming, a substitution is a mapping from logic variables to values (including other logic variables). Logic programs are composed of goals, with the type signature Subst => Subst* — i.e. it might fail (thus generating 0 possible substitution), succeed once, or succeed multiple times, or even an infinite number of times. It is […]

Several updates to Mini Kanren, covering syntax, semantics and documentation. SyntaxImplicit conversions now allow you to write the more idiomatic x === y to mean mkEqual(x,y) . Likewise, you can use x =/= y to mean neverEqual(x,y) (see below for ... [More] explanation). SemanticsThe =/= (neverEqual) goal has been added, specifying that x and y should never be unified [...] [Less]

Several updates to Mini Kanren, covering syntax, semantics and documentation. SyntaxImplicit conversions now allow you to write the more idiomatic x === y to mean mkEqual(x,y) . Likewise, you can use x =/= y to mean neverEqual(x,y) (see below for ... [More] explanation). SemanticsThe =/= (neverEqual) goal has been added, specifying that x and y should never […] [Less]

Several updates to Mini Kanren, covering syntax, semantics and documentation. SyntaxImplicit conversions now allow you to write the more idiomatic x === y to mean mkEqual(x,y) . Likewise, you can use x =/= y to mean neverEqual(x,y) (see below for ... [More] explanation). SemanticsThe =/= (neverEqual) goal has been added, specifying that x and y should never […] [Less]

Just a quick post (the time is rather late) to note that my port of the Mini Kanren logic programming system to Scala is now available for download (and bug reports) on GitHub; for the scaladoc API documentation and a presentation discussing the porting effort, visit the project homepage. It has an almost-complete numerical stack […]

Just a quick post (the time is rather late) to note that my port of the Mini Kanren logic programming system to Scala is now available for download (and bug reports) on GitHub; for the scaladoc API documentation and a presentation discussing the porting effort, visit the project homepage. It has an almost-complete numerical stack […]

Just a quick post (the time is rather late) to note that my port of the Mini Kanren logic programming system to Scala is now available for download (and bug reports) on GitHub; for the scaladoc API documentation and a presentation discussing the porting effort, visit the project homepage. It has an almost-complete numerical stack — [...]