skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Modeling OR-Parallel Execution of Prolog using CHOCS.

Barbuti, R., N. De Francesco, and A. Santone, "Modeling OR-Parallel Execution of Prolog using CHOCS.", Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming (ICLP): MIT Press, pp. 547–561, 1995.