- c -

• c_what_next : extern.h
• clause : extern.h

- d -

• del_clause : extern.h
• disj : extern.h

- e -

• eval : extern.h
• eval_cut : extern.h

- f -

• fail : extern.h
• freeze_cut : extern.h
• function : extern.h
• fx : extern.h
• fy : extern.h

- g -

• general_cut : extern.h
• global : extern.h

- i -

• implies_cut : extern.h

- l -

• load : extern.h

- m -

• match : extern.h

- n -

• nop : extern.h

- p -

• predicate : extern.h
• prove : extern.h

- r -

• retract : extern.h

- t -

• type : extern.h
• type_disj : extern.h

- u -

• undef : extern.h
• unify : extern.h
• unify_noeval : extern.h

- w -

• what_next : extern.h

- x -

• xf : extern.h
• xfx : extern.h
• xfy : extern.h

- y -

• yf : extern.h
• yfx : extern.h

---