Login / Signup
Prolog Testing of C Modules.
Paul A. Strooper
Daniel Hoffman
Published in:
ISLP (1991)
Keyphrases
</>
logic programming
expert systems
knowledge representation
prolog programs
evolutionary algorithm
inference engine
test cases
logic programs
modular ontologies
functional modules
quality assurance
test data
artificial intelligence
video sequences
database systems
three dimensional
knowledge base