Source Code herbrand

Jan Burse, created Aug 19. 2019

1 Predikate sto/1

2 Predikate sys_ensure_stos/1

3 Predikate sys_ensure_sto/1

4 Predikate dif/2

5 Predikate sys_listeners_difs/2

6 Predikate sys_reduce_dif/4

7 Predikate sys_deref_term/3

8 Predikate sys_reduce_uninst/4

9 Predikate sys_reduce_difs/4

10 Predikate sys_hook_sto/2

11 Predikate sys_hook_dif/3

12 Predikate residue:sys_current_eq/2

13 Predikate residue:sys_unwrap_eq/3

14 Predikate sys_make_dif/3

Comments