Automatic Prototyping of Algebraic Specifications using PROLOG.

Published in: ADT (1984)

Keyphrases

expert systems
computer vision
data driven
data sets
real world
machine learning
semi automatic
fully automatic
code generation
backward chaining
prolog programs