We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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)