Test Cases vars

Jan Burse, created Jun 30. 2020

1 Predikate numbervars/3

2 Predikate *-> /2

3 Predikate soft_if_then_else/3

4 Predikate forall/2

5 Predikate findall/4

6 Predikate findall/3

Comments