A data-dependency-based intelligent backtracking scheme for PROLOG
- 30 June 1988
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 5 (2), 165-181
- https://doi.org/10.1016/0743-1066(88)90017-9
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Intractable unifiability problems and backtrackingJournal of Automated Reasoning, 1989
- Intractable unifiability problems and backtrackingLecture Notes in Computer Science, 1986
- An intelligent backtracking algorithm for parallel execution of logic programsLecture Notes in Computer Science, 1986
- Efficient management of backtracking in AND-ParallelismLecture Notes in Computer Science, 1986
- An abstract machine for restricted AND-parallel execution of logic programsLecture Notes in Computer Science, 1986
- Performance studies of a Prolog machine architectureACM SIGARCH Computer Architecture News, 1985
- AND parallelism and nondeterminism in logic programsNew Generation Computing, 1985
- Design decisions influencing the microarchitecture for a Prolog machineACM SIGMICRO Newsletter, 1984
- Deduction Plans: A Basis for Intelligent BacktrackingIEEE Transactions on Pattern Analysis and Machine Intelligence, 1981
- A truth maintenance systemArtificial Intelligence, 1979