PrologCheck – Property-Based Testing in Prolog

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_1 ◽

2014 ◽

pp. 1-17 ◽

Author(s):

Cláudio Amaral ◽

Mário Florido ◽

Vítor Santos Costa

Download Full-text