PlUnit is a unit testing framework for Prolog
PlUnit is a unit testing framework for Prolog. Originally developed as a package for swi-prolog, it is also available in other systems like SICStus Prolog.
Questions tagged [plunit]
17 questions
0
votes
1 answer
Prolog Unit Tests for Non-deterministic predicates
I am trying to use the Prolog Unit Tests from http://www.swi-prolog.org/pldoc/doc_for?object=section%28%27packages/plunit.html%27%29
It gives an example for non-deterministic predicates as
test(member, all(X == [a,b,c])) :-
member(X,…
Yellowsgg
- 103
- 5
0
votes
1 answer
Code validation in prolog
How would I write a test for this Prolog rule?
rule(5,jasmine_tea):- symptom(high_cholesterol),symptom(delicate_fragrance).
High Performance Mark - this is what I've got.
FACTS:
question('Do you suffer from…
GGstudent
- 103
- 1
- 1
- 9