Testfälle vars

Jan Burse, erstellt 06. Mai 2020

1 Prädikat numbervars/3

2 Prädikat *-> /2

3 Prädikat soft_if_then_else/3

4 Prädikat forall/2

5 Prädikat findall/4

6 Prädikat findall/3

Kommentare