Quellcode herbrand

Jan Burse, erstellt 19. Aug 2019

1 Prädikat sto/1

2 Prädikat sys_ensure_stos/1

3 Prädikat sys_ensure_sto/1

4 Prädikat dif/2

5 Prädikat sys_listeners_difs/2

6 Prädikat sys_reduce_dif/4

7 Prädikat sys_deref_term/3

8 Prädikat sys_reduce_uninst/4

9 Prädikat sys_reduce_difs/4

10 Prädikat sys_hook_sto/2

11 Prädikat sys_hook_dif/3

12 Prädikat residue:sys_current_eq/2

13 Prädikat residue:sys_unwrap_eq/3

14 Prädikat sys_make_dif/3

Kommentare