Mixtus: An Automatic Partial Avaluator for Full Prolog.

Published in: New Gener. Comput. (1993)

Keyphrases

expert systems
semi automatic
data driven
theorem proving
knowledge base
fully automatic
programming language
knowledge representation
labor intensive
database
artificial neural networks
natural language
objective function
reinforcement learning
three dimensional
case study
genetic algorithm
databases