We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
adding required namespace clojure.core.logic.pldb
Fixed the function name.
Corrected the typo.
typo: know -> known
small typo
Updated Features (markdown)
defrel was removed in 0.8.5
Remove double http:// from Wikipedia URL
Correcting type: acutally --> actually
tweaks to fd section
missed some example code
update FD example to the new styles
grammar
Nominal Logic Programming and link to core.logic.nominal wiki page
typo
tweak
change heading levels
minor tweaks
information about CLP(FD) support
working on features
Created Features (markdown)