GitHub - jtfmumm/pony-logic: Logic programming for Pony (based on μKanren) · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
pdata		pdata
.gitignore		.gitignore
main.pony		main.pony
pattern.pony		pattern.pony
pony-logic.pony		pony-logic.pony
stream.pony		stream.pony

About

Logic programming for Pony (based on μKanren)

logic-programming pony-language kanren microkanren

Report repository

Releases

No releases published

Packages

Contributors

Languages

Pony 100.0%