"Миссионеры и людоеды", prolog 5.2

@Алексей339 · Регистрация: 22.05.2014

Author24 — интернет-сервис помощи студентам

Здравствуйте уважаемые профессионалы,помогите пожалуйста исправить ошибку в коде,что-то у меня не получается.
В общем условие задачи:Есть 5 миссионеров и пять людоедов и трёхместная лодка,нужно переправить всех на другой берег,но чтобы людоедов всегда было меньше или равно числу миссионеров на любом из берегов и в лодке тоже,иначе они съедят миссионеров.

Как я понял ошибка в zero,но я никак не пойму как её исправить.

Спасибо.

Prolog

database
    entry(symbol,integer,integer,integer,integer)
    
domains
    Left_miss,Left_cann,Right_miss,Right_cann=integer
    Total_miss,Total_cann=integer
    New_left_miss,New_left_cann,New_right_miss,New_right_cann=integer
    person1,person2=integer
    
predicates
    boat_state(integer,integer)
    zero(integer,integer)
    go(symbol,integer,integer,integer,integer)
    validate(integer,integer,integer,integer)
    
clauses
    boat_state(0,3).     
    boat_state(0,1).
    boat_state(0,2).
    boat_state(3,0).
    boat_state(1,1).
    boat_state(2,1).    
    boat_state(1,0).
    boat_state(2,0).
 
        zero(X,Y):-
        X=0,Y<>0.
 
    validate(Left_miss,Left_cann,Right_miss,Right_cann):-
        Total_miss=Left_miss+Right_miss,
        Total_cann=Left_cann+Right_cann,
        Total_miss=5,Total_cann=5,
        Left_miss>=0,Left_cann>=0,
        Right_miss>=0,Right_cann>=0,
        Left_miss>=Left_cann,Right_miss>=Right_cann.
 
    validate(Left_miss,Left_cann,Right_miss,Right_cann):-
        Total_miss=Left_miss+Right_miss,
        Total_cann=Left_cann+Right_cann,
        Total_miss=5,Total_cann=5,
        Left_miss>=0,Left_cann>=0,
        Right_miss>=0,Right_cann>=0,
        zero(Left_miss,Left_cann);
 
        Total_miss=Left_miss+Right_miss,
        Total_cann=Left_cann+Right_cann,
        Total_miss=5,Total_cann=5,
        Left_miss>=0,Left_cann>=0,
        Right_miss>=0,Right_cann>=0,
        zero(Right_miss,Right_cann).
 
    go(_,0,0,5,5):-
        write("Problem Solved"),nl.
 
    go(left_to_right,Left_miss,Left_cann,Right_miss,Right_cann):-
        boat_state(Person1,Person2),
        New_left_miss=Left_miss-Person1,
        New_left_cann=Left_cann-Person2,
        New_right_miss=Right_miss+Person1,
        New_right_cann=Right_cann+Person2,
        not(entry(right_to_left,New_left_miss,New_left_cann,New_right_miss,New_right_cann)),
        validate(New_left_miss,New_left_cann,New_right_miss,New_right_cann),
        assert(entry(right_to_left,New_left_miss,New_left_cann,New_right_miss,New_right_cann)),
        write("Left to right \t",New_left_miss," ",New_left_cann," \t",Person1," ",Person2," \t",New_right_miss," ",New_right_cann),nl,
        go(right_to_left,New_left_miss,New_left_cann,New_right_miss,New_right_cann).
        
    go(right_to_left,Left_miss,Left_cann,Right_miss,Right_cann):-
        boat_state(Person1,Person2),
        New_left_miss=Left_miss+Person1,
        New_left_cann=Left_cann+Person2,
        New_right_miss=Right_miss-Person1,
        New_right_cann=Right_cann-Person2,
        not(entry(left_to_right,New_left_miss,New_left_cann,New_right_miss,New_right_cann)),
        validate(New_left_miss,New_left_cann,New_right_miss,New_right_cann),
        assert(entry(left_to_right,New_left_miss,New_left_cann,New_right_miss,New_right_cann)),
        write("Right to left \t",New_left_miss," ",New_left_cann," \t",Person1," ",Person2," \t",New_right_miss," ",New_right_cann),nl,nl,
        go(left_to_right,New_left_miss,New_left_cann,New_right_miss,New_right_cann).
goal
    write("Initial State  \t",5," ",5," \t",0," ",0," \t",0," ",0," "),nl,nl,
    assert(entry(left_to_right,5,5,0,0)),
    go(left_to_right,5,5,0,0).

@Black Fregat · 23.05.2014, 08:48

Я, честно говоря, не понял, для чего был введен предикат zero. Без него программа работает.
Единственная проблема - он выдает не решение, а весь процесс поиска решения, со всеми неудачными попытками.
Обычно это лечится передачей в предикат go дополнительного параметра, в котором накапливается текущий путь.
И тогда печать делается в конце, когда путь уже найден

Prolog

database
    entry(symbol,integer,integer,integer,integer)
    
predicates
    nondeterm boat_state(integer,integer) 
    nondeterm go(symbol,integer,integer,integer,integer) 
    nondeterm  validate(integer,integer,integer,integer) 
    
clauses
    boat_state(0,3).     
    boat_state(0,1).
    boat_state(0,2).
    boat_state(3,0).
    boat_state(1,1).
    boat_state(2,1).    
    boat_state(1,0).
    boat_state(2,0).
 
    validate(Left_miss,Left_cann,Right_miss,Right_cann):-
        Total_miss=Left_miss+Right_miss,
        Total_cann=Left_cann+Right_cann,
        Total_miss=5,Total_cann=5,
        Left_miss>=0,Left_cann>=0,
        Right_miss>=0,Right_cann>=0,
        Left_miss>=Left_cann,Right_miss>=Right_cann.
 
    validate(Left_miss,Left_cann,Right_miss,Right_cann):-
        Total_miss=Left_miss+Right_miss,
        Total_cann=Left_cann+Right_cann,
        Total_miss=5,Total_cann=5,
        Left_miss>=0,Left_cann>=0,
        Right_miss>=0,Right_cann>=0.
 
    go(_,0,0,5,5):-
        write("Problem Solved"),nl.
 
    go(left_to_right,Left_miss,Left_cann,Right_miss,Right_cann):-
        boat_state(Person1,Person2),
        New_left_miss=Left_miss-Person1,
        New_left_cann=Left_cann-Person2,
        New_right_miss=Right_miss+Person1,
        New_right_cann=Right_cann+Person2,
        not(entry(right_to_left,New_left_miss,New_left_cann,New_right_miss,New_right_cann)),
        validate(New_left_miss,New_left_cann,New_right_miss,New_right_cann),
        assert(entry(right_to_left,New_left_miss,New_left_cann,New_right_miss,New_right_cann)),
        write("Left to right \t",New_left_miss," ",New_left_cann," \t",Person1," ",Person2," \t",New_right_miss," ",New_right_cann),nl,
        go(right_to_left,New_left_miss,New_left_cann,New_right_miss,New_right_cann).
        
    go(right_to_left,Left_miss,Left_cann,Right_miss,Right_cann):-
        boat_state(Person1,Person2),
        New_left_miss=Left_miss+Person1,
        New_left_cann=Left_cann+Person2,
        New_right_miss=Right_miss-Person1,
        New_right_cann=Right_cann-Person2,
        not(entry(left_to_right,New_left_miss,New_left_cann,New_right_miss,New_right_cann)),
        validate(New_left_miss,New_left_cann,New_right_miss,New_right_cann),
        assert(entry(left_to_right,New_left_miss,New_left_cann,New_right_miss,New_right_cann)),
        write("Right to left \t",New_left_miss," ",New_left_cann," \t",Person1," ",Person2," \t",New_right_miss," ",New_right_cann),nl,nl,
        go(left_to_right,New_left_miss,New_left_cann,New_right_miss,New_right_cann).
goal
    write("Initial State  \t",5," ",5," \t",0," ",0," \t",0," ",0," "),nl,nl,
    assert(entry(left_to_right,5,5,0,0)),
    go(left_to_right,5,5,0,0).

@Алексей339 · 23.05.2014, 14:50 **[ТС]**

Black Fregat, Спасибо большое

@Алексей339 1 / 1 / 0 Регистрация: 22.05.2014 Сообщений: 31
	23.05.2014, 14:50 [ТС]	3
	Black Fregat, Спасибо большое 0