PrologCheck - Property-Based Testing in Prolog.

Cláudio Amaral Mário Florido Vítor Santos Costa

Published in: FLOPS (2014)

Keyphrases

data sets
test data
knowledge representation
programming language
desirable properties
inference engine
constraint logic programming
abstract machine
databases
machine learning
computer vision
expert systems
statistical tests