Logic program evaluation
2 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Logic program evaluation
automated-reasoning
- SLD resolutionLeftmost-goal depth-first strategystandardautomated-reasoning
- Tabled resolutionMemoized subgoal answersspecialistautomated-reasoning