login sign up

A declarative logic programming system

kanren.sf.net
saved by
0 people
related read on
The Fifth Generation Computing project from the discussion