Next: revise Up: Beispiele in zwei Previous: genints

inv


rfi-p> 
style lisp
rfi-l> destroy
rfi-l> consult "/home/rfm/RFM/extensions/inv.rf"
; Reading file "/home/rfm/RFM/extensions/inv.rf" ..
rfi-l> listing
(ft ((inv _f) _v)
    (is _v (_f | _x))
    _x )
(ft (area india)
    1139 )
(ft (f _i _j | _r)
    _j )
rfi-l> style prolog
rfi-p> listing
inv[F](V) :- V is F(| X) & X.
area(india) :-& 1139.
f(I, J | R) :-& J.


Harold Boley & Michael Herfert (herfert@dfki.uni-kl.de)