Welcome to Orcmid's Lair, the playground for family connections, pastimes, and scholarly vocation -- the collected professional and recreational work of Dennis E. Hamilton

 
SourceForge.net: Project Info - kanren: A declarative logic programming system.  This is a project spotted at Lambda the Ultimate.  My curiosity is not only because of the participants on the project but also the prospect of having a sound computational logic and declarative system that runs on tiny processors.  Because it speaks of purely-functional subsets of scheme, it would be interesting to see what has to be defined in oMiser as primitive (if anything) to have the model work there too.
posted by Dennis at 5/6/2004 11:16:24 AM