We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Update link
Adding a tutorial showcasing how to implement a checkers game solver using core.logic
multics.org link dead. replacing with archive.org version.
add some nominal logic programming references
Updated References (markdown)
Created References (markdown)