Automating control for logic programs
From MaRDI portal
Recommendations
Cited in
(19)- Execution of logic programs by iterative-deepening A\(^*\) SLD-tree search
- Situated simplification
- Most specific logic programs
- A backtracking algorithm for the stream AND-parallel execution of logic programs
- scientific article; zbMATH DE number 3956407 (Why is no real title available?)
- On the existence of nonterminating queries for a restricted class of PROLOG-clauses
- Machine structure oriented control code logic
- Metalogical control for logic programs
- Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
- Declarative error diagnosis
- Control generation by program transformation
- Compiling control
- Modelling Prolog Control
- Recursive query processing: The power of logic
- scientific article; zbMATH DE number 3980533 (Why is no real title available?)
- scientific article; zbMATH DE number 220133 (Why is no real title available?)
- scientific article; zbMATH DE number 1531362 (Why is no real title available?)
- On the transformation of logic programs with instantiation based computation rules
- Control and data driven execution of logic programs: A comparison
This page was built for publication: Automating control for logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3694654)
