rfi-p> date()
[29,jan,2001,13,17]
rfi-p> az double(X) :& *(X,2).
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> listing
double(X) :& *(X,2).
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> sx
Notice: Input still style prolog - Output only style xml
rfi-x> listing
<ft>
  <pattop>
    <con>double</con>
    <var>x</var>
  </pattop>
  <callop>
    <con>*</con>
    <var>x</var>
    <con>2</con>
  </callop>
</ft>
rfi-x> sp
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> double(3)
6
rfi-p> sx
Notice: Input still style prolog - Output only style xml
rfi-x> double(3)
<con>6</con>
rfi-x> sp
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> az square(X) :& *(X,X).
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> l square
square(X) :& *(X,X).
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> square(3)
9
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> az cube(X) :& *(X , square(X)).
rfi-p> l cube
cube(X) :& *(X,square(X)).
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> cube(3)
27
rfi-p> spy
rfi-p> ori
and(cube(3))
and(*(3,square(3)))
and(_1*2 .= square(3),*(3,_1*2))
and(_1*2 .= *(3,3),*(3,_1*2))
and(_1*2 .= 9,*(3,_1*2))
and(*(3,9))
and(27)
27
rfi-p> nospy
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> %this computes the factorial of N
rfi-p> az fact(0) :& 1.
rfi-p> az fact(N) :& *(N, fact(-(N, 1))).
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> fact(5)
120
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> %sum computes the sum of the N first integer.
rfi-p> az sum(0) :& 0.
rfi-p> az sum(N) :& +(N, sum(-(N,1))).
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> sp
rfi-p> l sum
sum(0) :& 0.
sum(N) :& +(N,sum(-(N,1))).
rfi-p> sx
Notice: Input still style prolog - Output only style xml
rfi-x> sum(5)
<con>15</con>
rfi-x> sp
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> az compose[F, G ](X) :& F(G(X)).
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> sx
Notice: Input still style prolog - Output only style xml
rfi-x> listing compose[F, G ](X) :& F(G(X)).
<ft>
  <pattop>
    <struc>
      <con>compose</con>
      <var>f</var>
      <var>g</var>
    </struc>
    <var>x</var>
  </pattop>
  <callop>
    <var>f</var>
    <callop>
      <var>g</var>
      <var>x</var>
    </callop>
  </callop>
</ft>
rfi-x> sp
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> compose[double, sum](4)
20
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> %fibo computes the nth term of the fibonacci sequence .
rfi-p> az fibo(0) :& 1 .
rfi-p> az fibo(1) :& 1 .
rfi-p> az fibo(N) :& +(fibo(-(N,1)), fibo(-(N,2))).
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> sx
Notice: Input still style prolog - Output only style xml
rfi-x> l fibo
<ft>
  <pattop>
    <con>fibo</con>
    <con>0</con>
  </pattop>
  <con>1</con>
</ft>
<ft>
  <pattop>
    <con>fibo</con>
    <con>1</con>
  </pattop>
  <con>1</con>
</ft>
<ft>
  <pattop>
    <con>fibo</con>
    <var>n</var>
  </pattop>
  <callop>
    <con>+</con>
    <callop>
      <con>fibo</con>
      <callop>
        <con>-</con>
        <var>n</var>
        <con>1</con>
      </callop>
    </callop>
    <callop>
      <con>fibo</con>
      <callop>
        <con>-</con>
        <var>n</var>
        <con>2</con>
      </callop>
    </callop>
  </callop>
</ft>
rfi-x> sp
rfi-p> pause()

relfun
rfi-p> bye
true
rfi-p> fibo(5)
8