В чём причина зависания программы на Пролог-Д?

Question

[Сергей]

граничит(португалия,испания).
граничит(испания,франция).
граничит(X,Y) <- граничит(Y,X).
?граничит(испания,A).

Происходит зацикливание "португалия франция португалия франция португалия..."

Вопрос: Почему так произошло?

Comments

[Wataru]

А откуда вы знаете, что оно виснет и тем более, что оно виснет именно так?

[Сергей]

Wataru, я запускал программу в интерпретаторе "Пролог-Д" и успел посмотреть результат, прежде чем интерпретатор загнулся.

Answer 1

[sheerluck]

ну граничит(X,Y) <- граничит(Y,X). это ж вечный цикл.
плюс португалия с францией не граничит.

Comments

[Сергей]

ОК. Но почему тогда работает вот эта программа?

граничит(португалия,испания).
граничит(испания,франция).
граничит(а,б)<-граничит(б,а). 
?граничит(испания,франция).
?граничит(франция,испания).

[Sergei Nazarenko]

Сергей, Вопрос не по теме просто любопытства ради слышал про пролог но никогда не видел его в глаза, какая практическая область применения у этого ужаса ?

[Сергей]

Sergei Nazarenko, курс "ИИ в образовании", магистратура педагогическая. Он классно базы данных описывает.

[mayton2019]

Sergei Nazarenko, экспертные системы.

[sheerluck]

Сергей, потому что он матчится сразу для (испания,франция) и за один шаг для (франция,испания)

[Сергей]

sheerluck, а где про это можно почитать в доступной форме?

[sheerluck]

Сергей, я не помню. Попробуйте https://stackoverflow.com/questions/5589155/where-...

[Сергей]

sheerluck, всё же, я не понял, откуда тут вечный цикл. Точно такая же конструкция в другом примере вечного цикла не дала.
Прошу прощения, есть вопросы.
"Он" - это кто?
Что такое "матчится"?
Что такое "шаг"?

[sheerluck]

Сергей, вы задали два вопроса прологу
1) ?граничит(испания,франция).
пролог ищет соответствие и находит граничит(испания,франция). Он может тут же ответить.
2) ?граничит(франция,испания).
пролог ищет соответствие, не находит, зато находит граничит(а,б)<-граничит(б,а). и подставляет туда. У него получается граничит(испания,франция). пролог ищет соответствие и находит граничит(испания,франция). Он может тут же ответить.
3) когда пролог пытается граничит(португалия,франция). у него нет никакого соответствия и он в бесконечном цикле применяет граничит(а,б)<-граничит(б,а). потому что ничего другого у него нет.

[Сергей]

sheerluck, но у меня нет вопроса ?граничит(португалия,франция).
У меня есть вопрос ?граничит(испания,A).
Разве не должен Пролог показать мне граничит(испания,франция). ?

[sheerluck]

Попробовал на swi-prolog -- он даёт A = франция.
Видимо, я совсем неправильно прочёл ваш изачальный вопрос, прошу меня извинить.

[Сергей]

sheerluck, тоже попробовал на swi-prolog. Ошибка. Поправил систаксис, все равно выдает ошибку.

bord(португалия,испания);
bord(испания,франция);
bord(X,Y) :- bord(Y,X);
?-bord(испания,A);

[sheerluck]

Сергей, у меня вот так:

$ cat Shull.pl
bord(португалия,испания).
bord(испания,франция).
bord(X,Y) :- bord(Y,X).
$ swipl Shull.pl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.4.1)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit https://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- bord(испания,A).
A = франция