home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Power-Programmierung
/
CD1.mdf
/
prolog
/
pdprolog
/
order.pro
< prev
next >
Wrap
Text File
|
1986-05-05
|
256b
|
8 lines
/* Ask ?-aless( 2, 3 ). Get: Yes.
Ask ?-aless( 3, 2 ). Get: No. */
aless( X, Y ) :- name( X, L ), name( Y, M ), alessx( L, M ).
alessx( [], [_|_] ).
alessx( [X|_], [Y|_] ) :- X < Y.
alessx( [P|Q], [R|S] ) :- P = R, alessx( Q, S ).