Pages that link to "Item:Q4673543"
From MaRDI portal
The following pages link to On applying or-parallelism and tabling to logic programs (Q4673543):
Displaying 9 items.
- OPTYap (Q25794) (← links)
- The YAP Prolog system (Q2893087) (← links)
- Infinite probability computation by cyclic explanation graphs (Q2933089) (← links)
- Table space designs for implicit and explicit concurrent tabled evaluation (Q4559837) (← links)
- Towards multi-threaded local tabling using a common table space (Q4911126) (← links)
- CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge (Q5452025) (← links)
- Concurrent and Local Evaluation of Normal Programs (Q5504657) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
