Scribd Logo
Upload

Welcome to Scribd!

  • New Text Document

    Uploaded by

    sk
    6 views1 page

    Original Title

    New Text Document.txt

    Copyright

    © © All Rights Reserved

    Available Formats

    TXT, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as TXT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    6 views1 page

    New Text Document

    Uploaded by

    sk

    Copyright:

    © All Rights Reserved
    Download as TXT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    domains

    A,B,C=integer
    predicates
    min(integer,integer,integer)
    max(integer,integer,integer)
    minmax(integer,integer,integer)
    clauses
    max(A,B,C):-
    A>B,
    A>C
    write(A).
    max(A,B,C):-
    A<B
    write(C).
    max(_,B,C):- B>C,
    write(B).
    max(_,_,C):-
    write(C).

    min(A,B,C):-
    A<B,
    A<C
    write(A).
    min(A,B,C):-
    A>B
    write(C).
    min(_,B,C):-
    B<C
    write(B).
    min(_,_,C):-
    write(C).
    minmax(A,B,C):-
    max(A,B,C),
    min(A,B,C).

    You might also like