Создание проекта в visual prolog 5.2

@nikola99 · Регистрация: 02.05.2010

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

При попытке собрать код с этой темы получаю вот такие ошибки:
Взяв в кавычки указанные аргументы, все равно остаются ошибки:
указывает на эти строки:
m('a','b').
search_dpth('a','c'),nl,nl,nl,fail.
Я так понял, что то в аргументах не нравиться? Пол дня провозился, не пойму что не так, под турбо прологом запускается без проблем.

Код

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
domains
slist=string*
 
predicates
m(string,string).
move(string,string).
search_dpth(string,string).
prolong(slist,slist).
dpth(slist,string,slist).
show_answer(slist).
member(string,slist).
 
clauses
m(a,b).
m(b,c).
m(a,d).
m(b,d).
m(c,d).
m(c,e).
m(d,e).
 
move(A,B):-m(A,B);m(B,A).
 
search_dpth(Start,Finish):-dpth([Start],Finish,Way),show_answer(Way).
 
member(H,[H|_]).
member(H,[_|Tail]):-member(H,Tail).
 
prolong([Temp|Tail],[New,Temp|Tail]):-
        move(Temp,New),not(member(New,[Temp|Tail])).
 
dpth([Finish|Tail],Finish,[Finish|Tail]).
dpth(TempWay,Finish,Way):-
        prolong(TempWay,NewWay),dpth(NewWay,Finish,Way).
 
show_answer([_]):-!.
show_answer([A,B|Tail]):-
        show_answer([B|Tail]),nl,write(B," -> ",A).
goal
search_dpth(a,c),nl,nl,nl,fail.

А вообще код с турбо пролога в visual prolog 5.2 должен запускаться без проблем? Или синтаксис отличается? Если да, то где почитать про отличия.

@rrrFer · 23.07.2011, 09:47

под 5.2 вроде бы без проблем, под более старшими версиями проблемы будут.
в 5.2 обязательно должен быть раздел goal (это нужно для оптимизации, - VIP смотрит какие правила как часто используются и исходя из этого генерирует код)
строки типа "a", "b",... надо в кавычках писать, в Турбо и без кавычек работает, но в VIP 5.2 - нет.

Вам же черным по белому написана причина ошибки, можно было гуглить номер или описание ошибки, можно было воспользоваться локальной справкой VIP5.2 и узнать о ключевом слове nondeterm. Если предикат может вернуть несколько решений - то он должен быть описан как Nondeterm. Иначе надо расставить отсечения по коду.

Исправленная версия (делать мне нечего, видимо) :

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
domains
slist=string*
 
predicates
nondeterm m(string,string)
nondeterm move(string,string).
nondeterm search_dpth(string,string).
nondeterm prolong(slist,slist).
nondeterm dpth(slist,string,slist).
show_answer(slist).
nondeterm member(string,slist).
 
clauses
m("a","b"). 
m("b","c").
m("a","d").
m("b","d").
m("c","d"). 
m("c","e"). 
m("d","e").  
 
move(A,B):-m(A,B);m(B,A).
 
search_dpth(Start,Finish):-dpth([Start],Finish,Way),show_answer(Way).
 
member(H,[H|_]).
member(H,[_|Tail]):-member(H,Tail).
 
prolong([Temp|Tail],[New,Temp|Tail]):-
        move(Temp,New),not(member(New,[Temp|Tail])).
 
dpth([Finish|Tail],Finish,[Finish|Tail]).
dpth(TempWay,Finish,Way):-
        prolong(TempWay,NewWay),dpth(NewWay,Finish,Way).
 
show_answer([_]):-!.
show_answer([A,B|Tail]):-
        show_answer([B|Tail]),nl,write(B," -> ",A).
goal
search_dpth("a","c"),nl,nl,nl,fail.

Новые блоги и статьи Все статьи Все блоги /
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025	Расскажи мне о Мире, бродяга kumehtar 12.11.2025 — Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .