- tags
- Logic Programming
Logic programming paradigm in which variables can have domains, not simply values.
Allows for [SWI-Prolog – Manual]:
- Delaying checks until their truth can be safely decided, improving generality of rules
- Pruning the search space much more aggressively, improving performance
Misc
Notes that link to this note