A Very Intelligent Backtracking Method for Logic Programs
No abstract available.
Related papers
- Independence in CLP languages TOPLAS 2000
- Static Inference of Modes and Data Dependencies in Logic Programs TOPLAS 1989
- Backtracking without Trailing in CLP(RLin) PLDI 1994
- Logical Composition of Object-Oriented Interfaces OOPSLA 1987
- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems CAV 2019
- Relating models of backtracking ICFP 2004
- Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic PLDI 2023
- Backtracking-based load balancing PPoPP 2009