A dataflow Prolog execution model and its architectural support

Kang Zhang, Ray Thomas. A dataflow Prolog execution model and its architectural support. Journal of Systems Architecture, 33(2):119-130, 1991. [doi]

Abstract

Abstract is missing.