2:- ensure_loaded(dmiles). 3 4:- multifile file_search_path/2. 5:- dynamic file_search_path/2. 6 7:- ensure_loaded_if_exists(library(prompt)). 8 9:- ensure_loaded(home(argument_types)). 10:- ensure_loaded(home(bu_basics)). 11:- ensure_loaded(home(clause_heads)). 12:- ensure_loaded(home(div_utils)). 13:- ensure_loaded(home(environment)). 14:- ensure_loaded(home(evaluation)). 15:- ensure_loaded(home(filter)). 16:- ensure_loaded(home(flatten)). 17:- ensure_loaded(home(g1_ops)). 18:- ensure_loaded(home(g2_ops)). 19:- ensure_loaded(home(interpreter)). 20:- ensure_loaded(home(kb)). 21:- ensure_loaded(home(lgg)). 22:- ensure_loaded(home(show_utils)). 23:- ensure_loaded(home(td_basic)). 24:- ensure_loaded(home(tdref_it)). 25:- ensure_loaded(home(var_utils)). 26:- ensure_loaded(home(newpred)). 27:- ensure_loaded(home(gencon)). 28:- ensure_loaded(home('gencon_instances/rul.pl')). 29:- ensure_loaded(home('gencon_instances/constrained_clauses.pl')). 30:- ensure_loaded(home('gencon_instances/foil.pl')). 31 32:- retractall(interpreter:depth_bound(_)), 33 assert(interpreter:depth_bound(10)).