The following pages link to (Q3746920):
Displaying 3 items.
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (Q1726305) (← links)
- Dynamic reordering of alternatives for definite logic programs (Q1749236) (← links)
