On parallel unification for Prolog

• Authors:

• J. Harland;J. Jaffer

• Affiliations:

• Univ. of Edinburgh, Edinburgh, UK;IBM Thomas J. Watson Research Center, Yorktown Heights, NY

• Venue:
• New Generation Computing
• Year:
• 1988