A parallel virtual machine for executing forward-chaining linear logic programs

Cruz F., Rocha R., Goldstein S.C.

Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014

2014

pp 125

-

140

A parallel virtual machine for executing forward-chaining linear logic programs

Cruz F., Rocha R., Goldstein S.C.

Abstract:

Contacts