A co-processor for unification in prolog: The microprogramming level.

Mario De Blasi Anna Gentile

Published in: Microprocess. Microprogramming (1988)

Keyphrases

higher order
theorem proving
real world
knowledge base
high speed
logic programming
parallel processing
neural network
genetic algorithm
programming language
logic programs
higher level
theorem prover