next up previous contents
Next: About this document Up: RELFUN Guide: Programming with Previous: E Dynamic-Signatures Dialog

F Module-System Dialog

 

rfi-p> exec module-demo

rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> inter rfi-p> destroy rfi-p> mdestroy -all All user modules have been destroyed. rfi-p> rfi-p> rfi-p> rfi-p> load predsucc-num Reading file "predsucc-num.rfp" Creating module predsucc-num rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> mforest workspace sortbase prelude tracebase predsucc-num rfi-p> pause() true rfi-p> rfi-p> rfi-p> load predsucc-sym arithmetic facfib Reading file "predsucc-sym.rfp" Creating module predsucc-sym Reading file "arithmetic.rfp" Creating module arithmetic Reading file "facfib.rfp" Creating module facfib rfi-p> mforest workspace sortbase prelude tracebase predsucc-num predsucc-sym arithmetic facfib rfi-p> pause() true rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> map listing predsucc-num predsucc-sym arithmetic facfib -- Doing listing on module predsucc-num: sub1(N,R) :- R is 1-(N). add1(N,R) :- R is 1+(N). -- Doing listing on module predsucc-sym: sub1(s[N],N). add1(N,s[N]). -- Doing listing on module arithmetic: plus(0,Y,Y). plus(X,Y,R) :- sub1(X,Xm1), add1(Y,Yp1), plus(Xm1,Yp1,R). mult(0,Y,0). mult(X,Y,R) :- sub1(X,Xm1), mult(Xm1,Y,Rmy), plus(Y,Rmy,R). -- Doing listing on module facfib: fac(0,R) :- add1(0,R). fac(N,R) :- sub1(N,Nm1), fac(Nm1,S), mult(N,S,R). fib(0,One) :- add1(0,One). fib(One,One) :- add1(0,One). fib(N,R) :- sub1(N,Nm1), sub1(Nm1,Nm2), fib(Nm1,R1), fib(Nm2,R2), plus(R1,R2,R). rfi-p> pause() true rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> rfi-p> % (predsucc-num and predsucc-sym) in memory defining clauses


Harold Boley (boley@informatik.uni-kl.de)