Login / Signup
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