Как использовать вложенный, если

Question

, например:

testif(X,Y) :-
    X >= 6 ->
        writeln('X> 6'),
        Y>= 3 ->
            writeln('X >6 and Y> 3');
        writeln('X >6 and Y<3'),        

    writeln('X<6');
    writeln('Test over').

test(X,Y):-
    testif(X,Y).


?- test(7, 3).
Yes (0.00s cpu)
X> 6
X >6 and Y> 3

почему не выводить «Test over»?

?- test(4, 3).
Yes (0.00s cpu, solution 1, maybe more)
X >6 and Y<3    % why output this line?
X<6

почему не выводить «Test over» тоже?* Большое спасибо:)

Answer 1

Это идиоматический способ написания (вложенного) if-then-else в Прологе:

testif(X,Y) :-
    (X >= 6 ->
        writeln('X> 6'),
        (Y>= 3 ->
            writeln('X >6 and Y> 3')
        ;
            writeln('X >6 and Y<3'),
        )
    ;
        writeln('X<6');
    ),
    writeln('Test over').

Как и на любом другом языке, отступ имеет значение в Прологе.См. Covington и др. для руководства по стилю.

Answer 2

Полагаю, это то, что вы хотите написать:

testif(X,Y) :-
    X >= 6 ->
        (writeln('X>= 6'), Y>=3 -> writeln('X >=6 and Y>=3'); writeln('X >=6 and Y<=3')) ; 
        writeln('X<6'),
    writeln('Test over').

test(X,Y):-
    testif(X,Y).

; означает or и , означает and в Прологе, я думаю, вам следует заключить их в скобки, чтобы убедиться, что значения предложений соответствуют вашим ожиданиям.