Next: f Up: Combining the DAX Previous: Combining the DAX

less


  less(0,N).                         % clause 1
  less(s(M), s(N)) :- less(M, N).    % clause 2

Michael Sintek - sintek@dfki.uni-kl.de