Факты и пр. в ViP

@ForEveR · Регистрация: 24.06.2010

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

Интересует вопрос, как в консольной программе ViP-а замутить например такое.

Код

нравится(джон, мэри).
нравится(джон, анна).

нравится(мэри, вино).

любит(X, Y) :- нравится(X, Y), нравится(Y, вино).

80 ?- любит(джон, мэри).
true .

Это из SWI пролога. Лазил по форуму, наткнулся на assert, но у меня пишет что не может найти такой предикает. Вообщем как быть, подскажите плз. Да и где толково можно почитать про консольные программы ViP-а?

@ForEveR · 22.11.2010, 21:05 **[ТС]**

Апну темку что-ли... А то учить пролог получается онли на SWI...

@freest · 22.11.2010, 21:09

Prolog

predicates
like(symbol,symbol)
love(symbol,symbol)
clauses
like(x,y).
like(x,z).
like(y,b).
love(X,Y):-like(X,Y),like(Y,b).
goal
love(x,y).

@ForEveR · 23.11.2010, 00:00 **[ТС]**

Prolog

class predicates
    like : (symbol, symbol).
 
clauses
    classInfo(className, classVersion).
    like("John", "Ira").

Ошибка...

Код

C:\Users\U\Documents\Visual Prolog Projects\DDD\main.pro(19,10) error c631: The predicate 'main::like/2 (i,i)', which is declared as 'procedure', is actually 'determ'

В чем проблема? Да и вообще реально не с классами работать? А то ООП в прологе меня пока не улыбает...

Добавлено через 1 час 50 минут
Апчик... Или лучше оставить ViP и юзать SWI?

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
		1
	Факты и пр. в ViP 21.11.2010, 04:31. Показов 1531. Ответов 3 Метки нет (Все метки) Интересует вопрос, как в консольной программе ViP-а замутить например такое. Код нравится(джон, мэри). нравится(джон, анна). нравится(мэри, вино). любит(X, Y) :- нравится(X, Y), нравится(Y, вино). 80 ?- любит(джон, мэри). true . Это из SWI пролога. Лазил по форуму, наткнулся на assert, но у меня пишет что не может найти такой предикает. Вообщем как быть, подскажите плз. Да и где толково можно почитать про консольные программы ViP-а? 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	22.11.2010, 21:05 [ТС]	2
	Апну темку что-ли... А то учить пролог получается онли на SWI... 0

	23.11.2010, 00:00