Pages that link to "Item:Q3694654"
From MaRDI portal
The following pages link to Automating control for logic programs (Q3694654):
Displaying 8 items.
- Declarative error diagnosis (Q578894) (← links)
- On the existence of nonterminating queries for a restricted class of PROLOG-clauses (Q582150) (← links)
- Execution of logic programs by iterative-deepening A\(^*\) SLD-tree search (Q688625) (← links)
- A backtracking algorithm for the stream AND-parallel execution of logic programs (Q1118390) (← links)
- On the transformation of logic programs with instantiation based computation rules (Q1119029) (← links)
- Recursive query processing: The power of logic (Q1262144) (← links)
- Most specific logic programs (Q1356224) (← links)
- Situated simplification (Q1391936) (← links)
