Next: genints Up: Beispiele in zwei Previous: Beispiele in zwei

attval


rfi-l> 
style lisp
rfi-l> destroy
rfi-l> consult "/home/rfm/RFM/extensions/attval.rf"
; Reading file "/home/rfm/RFM/extensions/attval.rf" ..
rfi-l> listing
(ft (attval _obj _valfilter)
    (tup _f (_valfilter (_f _obj))) )
(ft (numfilter _x)
    (numberp _x)
    _x )
(ft (area china)
    3380 )
(ft (pop china)
    825 )
rfi-l> style prolog
rfi-p> listing
attval(Obj, Valfilter) :-& tup(F, Valfilter(F(Obj))).
numfilter(X) :- numberp(X) & X.
area(china) :-& 3380.
pop(china) :-& 825.


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