Implementation-Oriented Testing and Reliability Determination of Prolog Programs.

Alireza Azem Fevzi Belli Oliver Jack

Published in: SEKE (1993)

Keyphrases

prolog programs
efficient implementation
logic programs
database
test set
real time
data sets
databases
neural network
real world
information systems
multiscale
hardware implementation
implementation issues
model based testing