The following pages link to OPTYap (Q25794):
Displayed 11 items.
- XSB: Extending Prolog with Tabled Logic Programming (Q2893097) (← links)
- Infinite probability computation by cyclic explanation graphs (Q2933089) (← links)
- Table space designs for implicit and explicit concurrent tabled evaluation (Q4559837) (← links)
- (Q4736502) (← links)
- Towards multi-threaded local tabling using a common table space (Q4911126) (← links)
- Retroactive Subsumption-Based Tabled Evaluation of Logic Programs (Q4930760) (← links)
- Euro-Par 2004 Parallel Processing (Q5311419) (← links)
- Logic Programming (Q5313188) (← links)
- Co-Logic Programming: Extending Logic Programming with Coinduction (Q5428832) (← links)
- Logic Programming (Q5475798) (← links)
- Concurrent and Local Evaluation of Normal Programs (Q5504657) (← links)