Login / Signup
Finding Advantageous Orders for Argument Unification for the Prolog WAM.
Zerksis D. Umrigar
Published in:
NACLP (1990)
Keyphrases
</>
theorem proving
knuth bendix
information systems
expert systems
databases
knowledge base
database systems
data sets
genetic algorithm
artificial intelligence
multiscale
software engineering
programming language
inference engine
constraint logic programming
prolog programs