Source Code herbrand

Jan Burse, created Mar 30. 2019

1 Predikate sys_hook_sto/2

2 Predikate sys_hook_neq/3

3 Predikate sys_retire_hooks/2

4 Predikate residue:sys_current_eq/2

5 Predikate residue:sys_unwrap_eq/3

6 Predikate sto/1

7 Predikate sys_assume_hooks/1

8 Predikate neq/2

9 Predikate sys_assume_hooks/2

10 Predikate sys_reduce_neq/4

11 Predikate sys_deref_term/3

12 Predikate sys_reduce_uninst/4

13 Predikate sys_reduce_neqs/4

14 Predikate sys_listeners_neqs/2

15 Predikate sys_make_and/2

Comments