Здравствуйте.
Я новичок в prolog и с интересом пытаюсь его освоить.
Но вот некак немогу понять как выполнить простейшие задание
Есть карта городов

На ней изображены названия городов a1, направления соединяющих дорог и их длины.

Нужно сделать предикат, который определяет можно-ли проехать из города X в город Y, что-бы общие проеханное растояние не превышало L км.

Вот так я пробую решить

Но при наборе

получаю false.

Подскажите пожалуйста, я сделал семантическую ошибку?   

Это сообщение отредактировал(а) Ak47black - 19.9.2010, 11:01

Да. Конструкция "L1=L-L1" в Прологе даст совершенно не тот результат, который планировался (по-видимому, предполагалось обычное присваивание?).

В стандартном Прологе (насколько можно говорить о существовании стандарта) и в большинстве диалектов "=" - это оператор сравнения, не вычисляющий свои операнды. Т.е. при сложных выражениях в качестве операндов получить в качестве  результата true можно только в том случае, если выражения тождественно совпадают. При этом даже X+Y=Y+X выдаст false.

Оператором, вычисляющим значение, является "is" (и его можно заменять на "=" в некоторых диалектах языка), так что, казалось бы, надо было написать "L1 is L-L1", однако и это тоже не пройдет - переменная L1 уже конкретизирована, и переписать ее значение в пределах этой ветки предиката нельзя. Так что на самом деле надо заводить какую-то новую переменную, а на будущее учесть, что оператора присваивания в Прологе, вообще говоря, просто нет.

В итоге код превращается в нечто такое:

Он на "nepr(a5, a2, 50)" будет реагировать правильно.

Однако на самом деле тут есть еще как минимум две ошибки, Вы просто не успели с ними столкнуться.

Во-первых, наличие правила "doroga(a2, a1, 10)" не означает справедливости "doroga(a1, a2, 10)". Вы-то знаете, что дороги в обе стороны одинаковы по длине, но программе об этом сообщить забыли. Поэтому запрос "nepr(a2, a5, 50)", вопреки желаемому, выдаст false.

Во-вторых, предикат nepr нужно сделать рекурсивным. В нынешнем его виде он сможет найти только такие пути, которые состоят из одной или двух дорог, не больше. Так что вместо второго вызова doroga во второй альтеративе nepr должен быть "nepr(Y1, Y, L2)".

О, спасибо что так Вы подробно расписали.


Да. Вот тут у меня и была проблема из-за незнания.



Тут моя вина, я тут забыл чётко указать что дороги у меня с односторонним движением.(или каким словом можно правильно выразится, когда говорят о дороге с односторонним движением    ?)

Это сообщение отредактировал(а) Ak47black - 19.9.2010, 11:56