Welcome, Guest! Log In | Create Account

Share

A declarative logic programming system

by oleg

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


http://kanren.sourceforge.net

Database, Mathematics, Software Development

Project Feed

A declarative logic programming system Actions