Pages that link to "Item:Q1118390"
From MaRDI portal
The following pages link to A backtracking algorithm for the stream AND-parallel execution of logic programs (Q1118390):
Displaying 6 items.
- Efficient backward execution in AND/OR process model (Q1114389) (← links)
- Yet another efficient backward execution algorithm in the AND/OR process model (Q1183471) (← links)
- Intelligent backtracking in \(\text{CLP}(\Re)\) (Q1380423) (← links)
- Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt} (Q2055817) (← links)
- (Q3732946) (← links)
- (Q3741017) (← links)