Test Cases vars

Jan Burse, created Nov 06. 2019

1 Predikate numbervars/3

2 Predikate *-> /2

3 Predikate soft_if_then_else/3

Comments