---
title: "A Non-shared Binding Scheme for Parallel Prolog Implementation"
authors:
  - "Kang Zhang"
  - "Ray Thomas"
doi: ""
url: "https://ijcai.org/proceedings/1991/129"
pdf: "https://ijcai.org/proceedings/1991/0129.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "877-882"
track: "Logic Programming"
keywords:
---

# A Non-shared Binding Scheme for Parallel Prolog Implementation

Kang Zhang, Ray Thomas

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 877-882.

## Abstract

To allow efficient parallel processing of Prolog programs on distributed multiprocessors, a non-shared variable binding approach is required such that binding environments can be independently distributed among processors. This paper presents a binding scheme, which realises the independence of a clause's binding environment by eagerly instantiating variables across clause arguments. The application of the scheme on a Prolog virtual machine has illustrated its features of efficiency in execution and simplicity in implementation. The preliminary performance evaluation has demonstrated the feasibility of the scheme.