A declarative logic programming system

  •        0

A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts

http://kanren.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

Narorumo - Nostrum vicis decerno.


narorumo is where Lindsey Kuper and Alex Rudnick put side projects -- awesome side projects.new!: our utterly rad submission for the 2011 ICFP Programming Contest, made of Python, Scheme, and SKI combinator calculus. We did better in 2011 than ever before, and as the data clearly indicate, we're on track to win the ICFP Contest in roughly 2016. That's how math works, right? programs that run backwards, made of miniKanren. solutions to problems from this collection, made of Python and Scheme and

Iucs-relational-research - Relational programming research at Indiana University


What is iucs-relational-research?iucs-relational-research is the project repository of the Relational Programming Research Group, a part of the Programming Languages Group in the Indiana University Computer Science Program. We use this space as a public incubator for new and ongoing research projects pertaining to relational programming, and as a place to coordinate our efforts as we work on them. What is relational programming?Relational programming has been described as a generalization of fun

alphaKanren - Understanding the alphaKanren implementation


Understanding the alphaKanren implementation

fairKanren - miniKanren with fair conjunction


miniKanren with fair conjunction

MiniKanrenT - An implementation of miniKanren in Haskell


An implementation of miniKanren in Haskell

pythological - A MiniKanren in Python


A MiniKanren in Python

impromptu-kanren - Clojure micro kanren (relational logic programming system) based on sokuza-kanren


Clojure micro kanren (relational logic programming system) based on sokuza-kanren

HK - HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.


HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.

p5-logic-minikanren - Logic::miniKanren : A Perl miniKanren


Logic::miniKanren : A Perl miniKanren







We have large collection of open source products. Follow the tags from Tag Cloud >>