Lines Matching refs:index
37 \index{$<---$/2}
39 \index{$<+++$/2}
41 \index{$<@@>$/2}
43 \index{$<-->$/2}
45 \index{$<==>$/2}
47 \index{expand/2}
49 \index{expand/2}
51 \index{isdr/2}
53 \index{isdr/2}
55 \index{closekb/0}
57 \index{createkb/1}
59 \index{define/1}
61 \index{define_implicit/1}
63 \index{degree/2}
65 \index{delete_clause/1}
67 \index{destroykb/0}
69 \index{display_defs/0}
71 \index{helpdrel/1}
73 \index{helpkb/0}
75 \index{insert_clause/1}
77 \index{insert_clauses_from/1}
79 \index{openkb/1}
81 \index{retract_clause/1}
83 \index{retrieve_clause/1}
85 \index{update_defs/0}