On Parallel Unification for Prolog.

James Harland Joxan Jaffar

Published in: New Gener. Comput. (1987)

Keyphrases

theorem proving
logic programming
expert systems
databases
video sequences
programming language
parallel processing
massively parallel
knowledge base
website
knowledge representation
higher order
shared memory
computer architecture
constraint logic programming
abstract machine