Testfälle term

Jan Burse, erstellt 21. Nov 2019

1 Prädikat =.. /2

2 Prädikat functor/3

3 Prädikat arg/3

4 Prädikat = /2

5 Prädikat unify_with_occurs_check/2

6 Prädikat \= /2

7 Prädikat copy_term/2

8 Prädikat term_variables/2

Kommentare