The following pages link to (Q4736502):
Displaying 4 items.
- Dynamic reordering of alternatives for definite logic programs (Q1749236) (← links)
- Logic programming with solution preferences (Q2378282) (← links)
- Table space designs for implicit and explicit concurrent tabled evaluation (Q4559837) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)