Regular Papers
The dlvhex system for knowledge representation: recent advances (system description)*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 866-883
-
- Article
- Export citation
Efficient algebraic effect handlers for Prolog
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 884-898
-
- Article
- Export citation
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 899-915
-
- Article
- Export citation
Precise complexity guarantees for pointer analysis via Datalog with extensions*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 916-932
-
- Article
- Export citation
Tabling with Sound Answer Subsumption
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 933-949
-
- Article
- Export citation
Lock-free atom garbage collection for multithreaded Prolog
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 950-965
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
TLP volume 16 issue 5-6 Cover and Front matter
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
TLP volume 16 issue 5-6 Cover and Back matter
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation