Automating control for logic programs

DOI10.1016/0743-1066(85)90017-2zbMath0575.68004OpenAlexW2030720224MaRDI QIDQ3694654

Lee Naish

Publication date: 1985

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(85)90017-2

zbMATH Keywords

recursive procedurescontrol primitivescoroutined execution of PROLOG programspreprocessor for logic programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (8)

Most specific logic programs ⋮ A backtracking algorithm for the stream AND-parallel execution of logic programs ⋮ On the transformation of logic programs with instantiation based computation rules ⋮ Situated simplification ⋮ Execution of logic programs by iterative-deepening A\(^*\) SLD-tree search ⋮ Declarative error diagnosis ⋮ On the existence of nonterminating queries for a restricted class of PROLOG-clauses ⋮ Recursive query processing: The power of logic

This page was built for publication: Automating control for logic programs