Search Package Index

6 packages found

 PackageDescriptionBuild 

icfp2017-minikanren

A racket port of the version of minikanren from the artifact of the ICFP 2017 Pearl, A Unified Approach to Solving Seven Programming Problems by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might. Includes evalo-optimized.

This package needs documentation

Tags:
succeeds3

impl-excl

Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates

This package needs documentation

Tags:
succeeds3

minikanren

A Planet 2 package for minikanren

Tags:
succeeds0

non-det

Racket non-determinism

This package needs documentation

Tags:
succeeds; has dependency problems3

parenlog

A language that is like Prolog, but parenthetical.

Docs:
succeeds; has dependency problems0

zKanren

-

Docs:
succeeds; has dependency problems0