ECMI25.UTILHELP_UTIL    part 1                 (11 September 81)

Utilities, by module.
=====================

UTIL_FILES

check_exists(File)
file_exists(File)
open(File)
open(Old,File)
close(File,Old)
delete(File)

UTIL_WRITEF

ttyprint(X)
prlist(List)
prconj(Conj)
prexpr(Expr)
writef(Format)
writef(Format,List)

UTIL_TRACE

error(Format,List,Action)
tlim(Tlimit)
ton(Name)
toff(Name)
toff
trace(Format,Condition)
trace(Format,List,Condition)

UTIL_READIN

read_in(Sentence)

UTIL_LISTRO

append(List1,List2,List3)
disjoint(List)
last(Element,List)
listtoset(List,Set)
nextto(X,Y,List)
numlist(N1,N2,Numberlist)
pairfrom(List,A,B,Rest)
perm(List1,List2)
perm2(X,Y,A,B)
remove_dups(List,Set)
rev(List1,List2)
select(Element,List,Rest)
sumlist(NumList,Sum)

UTIL_SETROU

intersect(Set1,Set2,ISet)
member(Element,Set)
memberchk(Element,Set)
nmember(Element,Set,N)
seteq(Set1,Set2)
subset(Subset,Superset)
subtract(Set1,Set2,Subset)
union(Set1,Set2,USet)

UTIL_INVOCA

&(Goal1,Goal2)
\\(Goal1,Goal2)
any(Goallist)
binding(N,Goal)
findall(Var,Goal,List)
for(N,Goal)
forall(Goal1,Goal2)
nobt(Goal)
not(Goal)
thnot(Goal)

UTIL_APPLIC

apply(Pred,Args)
checkand(Pred,Conj)
checklist(Pred,List)
mapand(Pred,Conj1,Conj2)
maplist(Pred,List1,List2)
convlist(Pred,List1,List2)
some(Pred,List)
sublist(Pred,List1,List2)

UTIL_MULTIL

mlmaplist(Pred,Lists)
mlmaplist(Pred,Lists,V)
mlmaplist(Pred,Lists,Vin,Vout)
mlmember(Elements,Lists)
mlselect(Elements,Lists,Rests)

UTIL_FLAGRO

flag(Flag,Old,New)

UTIL_CMISCE

cgensym(Prefix,PossVar)
gensym(Prefix,Var)
concat(Atom1,Atom2,Atom3)

UTIL_IMISCE

continue
\=(X,Y)
casserta(X)
cassertz(X)
diff(X,Y)
gcc(Goal)
subgoal(exact,Goal)

UTIL_STRUCT

subst(Substitution,Old,New)
occ(X,Term,N)
variables(Term,VarSet)

UTIL_TIDY

tidy(Expr,TidiedExpr)

UTIL_LONG

number(Rational)
eval(Command)
eval(Expr,Answer)
portray_number(Rational)




ECMI25.UTILHELP_UTIL    part 2                 (11 September 81)

Utilities, alphabetically by name.
==================================

&(Goal1,Goal2)                                          util_invoca
\=(X,Y)                                                 util_imisce
\\(Goal1,Goal2)                                         util_invoca
any(Goallist)                                           util_invoca
append(List1,List2,List3)                               util_listro
apply(Pred,Args)                                        util_applic
binding(N,Goal)                                         util_invoca
casserta(X)                                             util_imisce
cassertz(X)                                             util_imisce
cgensym(Prefix,PossVar)                                 util_cmisce
check_exists(File)                                      util_files
checkand(Pred,Conj)                                     util_apply
checklist(Pred,List)                                    util_apply
close(File,Old)                                         util_files
concat(Atom1,Atom2,Atom3)                               util_cmisce
continue                                                util_imisce
convlist(Pred,List1,List2)                              util_apply
delete(File)                                            util_files
diff(X,Y)                                               util_imisce
disjoint(List)                                          util_listro
ecce(File)                                              util_edit
em(File)                                                util_edit
error(Format,List,Action)                               util_trace
eval(Command)                                           util_long
eval(Expr,Answer)                                       util_long
file_exists(File)                                       util_files
findall(Var,Goal,List)                                  util_invoca
flag(Flag,Old,New)                                      util_flagro
for(N,Goal)                                             util_invoca
forall(Goal1,Goal2)                                     util_invoca
gcc(Goal)                                               util_imisce
gensym(Prefix,Var)                                      util_cmisce
intersect(Set1,Set2,ISet)                               util_setrou
last(Element,List)                                      util_listro
listtoset(List,Set)                                     util_listro
mapand(Pred,Conj1,Conj2)                                util_apply
maplist(Pred,List1,List2)                               util_applic
member(Element,Set)                                     util_setrou
memberchk(Element,Set)                                  util_setrou
mlmaplist(Pred,Lists)                                   util_multil
mlmaplist(Pred,Lists,Vin,Vout)                          util_multil
mlmaplist(Pred,Lists,V)                                 util_multil
mlmember(Elements,Lists)                                util_multil
mlselect(Elements,Lists,Rests)                          util_multil
nextto(X,Y,List)                                        util_listro
nmember(Element,Set,N)                                  util_setrou
nobt(Goal)                                              util_invoca
not(Goal)                                               util_invoca
number(Rational)                                        util_long
numlist(N1,N2,Numberlist)                               util_listro
occ(X,Term,N)                                           util_struct
open(File)                                              util_files
open(Old,File)                                          util_files
pairfrom(List,A,B,Rest)                                 util_listro
perm(List1,List2)                                       util_listro
perm2(X,Y,A,B)                                          util_listro
portray_number(Rational)                                util_long
prconj(Conj)                                            util_writef
prexpr(Expr)                                            util_writef
prlist(List)                                            util_writef
read_in(Sentence)                                       util_readin
redo(File)                                              util_edit
remove_dups(List,Set)                                   util_listro
rev(List1,List2)                                        util_listro
select(Element,List,Rest)                               util_listro
seteq(Set1,Set2)                                        util_setrou
some(Pred,List)                                         util_apply
subgoal(exact,Goal)                                     util_imisce
sublist(Pred,List1,List2)                               util_apply
subset(Subset,Superset)                                 util_setrou
subst(Substitution,Old,New)                             util_struct
subtract(Set1,Set2,Subset)                              util_setrou
sumlist(NumList,Sum)                                    util_listro
thnot(Goal)                                             util_invoca
tidy(Expr,TidiedExpr)                                   util_tidy
tlim(Tlimit)                                            util_trace
ton(Name)                                               util_trace
toff                                                    util_trace
toff(Name)                                              util_trace
trace(Format,Condition)                                 util_trace
trace(Format,List,Condition)                            util_trace
ttyprint(X)                                             util_writef
union(Set1,Set2,USet)                                   util_setrou
variables(Term,VarSet)                                  util_struct
writef(Format)                                          util_writef
writef(Format,List)                                     util_writef

