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
oleg committed patchset 408 of module kanren to the A declarative logic programming system CVS repository, changing 2 files
oleg committed patchset 407 of module kanren to the A declarative logic programming system CVS repository, changing 2 files
oleg committed patchset 406 of module kanren to the A declarative logic programming system CVS repository, changing 3 files
oleg committed patchset 405 of module kanren to the A declarative logic programming system CVS repository, changing 2 files
oleg committed patchset 404 of module kanren to the A declarative logic programming system CVS repository, changing 2 files
oleg committed patchset 403 of module kanren to the A declarative logic programming system CVS repository, changing 1 files
oleg committed patchset 402 of module kanren to the A declarative logic programming system CVS repository, changing 1 files
oleg committed patchset 401 of module kanren to the A declarative logic programming system CVS repository, changing 1 files
oleg committed patchset 400 of module kanren to the A declarative logic programming system CVS repository, changing 1 files
oleg committed patchset 399 of module kanren to the A declarative logic programming system CVS repository, changing 1 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
