Форум на Исходниках.RU https://forum.sources.ru Форум на Исходниках.RU Форум на Исходниках.RU https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=3001366 Wed, 05 Oct 2011 14:45:43 +0000 Может кто хорошо шарит в пролог https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=3001366
    multi(0,_,0):-!.
    multi(N,X,Y):- N>0, N1 is N-1, multi(N1, X, Y1), Y is X+Y1.


Либо вот так

    multi(N,X,Y):- N>0, N1 is N-1, multi(N1, X, Y1), Y is X+Y1.
    multi(0,_,0).
]]> staff Prolog https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997288 Thu, 29 Sep 2011 17:38:55 +0000 Может кто хорошо шарит в пролог https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997288 Swetlana Prolog https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997287 Thu, 29 Sep 2011 17:37:17 +0000 Может кто хорошо шарит в пролог https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997287 staff Prolog https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997285 Thu, 29 Sep 2011 17:34:06 +0000 Может кто хорошо шарит в пролог https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997285 Цитата xpoint @
да и на turbo prolog

вот что пишет

http://img.prado.lt/?v=tprolog.png

Это не ошибка. Нажмите на F10.]]> Swetlana Prolog https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997275 Thu, 29 Sep 2011 17:21:46 +0000 Может кто хорошо шарит в пролог https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997275
Спасибо и на этом буду смотреть что не так.

Добавлено
да и на gnu prolog тоже не пашет, не только на swi

Добавлено
да и на turbo prolog

вот что пишет

http://img.prado.lt/?v=tprolog.png

Добавлено
ха скомпилировал на turbo prolog, а вот что ему не нравится в самом прологе. Нужно будет анализировать]]> staff Prolog https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997271 Thu, 29 Sep 2011 17:19:05 +0000 Может кто хорошо шарит в пролог https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997271 Swetlana Prolog https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997227 Thu, 29 Sep 2011 15:47:47 +0000 Может кто хорошо шарит в пролог https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2997227
    ERROR: /home/vasilij/test.pl:2:0: Syntax error: Operator expected
    ERROR: /home/vasilij/test.pl:9:0: Syntax error: Operator expected


predicates и clauses ему не нужны, но почему-то переполняется стэк

Добавлено
Прям как и у меня было]]> staff Prolog https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2996952 Thu, 29 Sep 2011 09:21:15 +0000 Может кто хорошо шарит в пролог https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2996952 xpoint, если это Турбопролог, то все переменные пишутся с большой буквы, тогда у вас в правиле multi ошибка. И граничное условие другое.

    predicates
    multi(integer,real,real)
     
    goal
    multi(2,5,X), write(X).
     
     
    clauses
    multi(0,X,0).
    multi(N,X,Y):-
      N1=N-1,
      multi(N1,X,Y1),
      Y=X+Y1.


Добавлено
Наоборот x и m в параметрах multi поставила

Добавлено
И нельзя переменной присваивать предикат

Добавлено
Вообще предикат - логическая функция, возвращает успех/неудача. Если согласование (выполнение) предиката заканчивается неудачей, то включается механизм возврата.
А чтобы предикат вернул какой-то результат, нужно завести для него аргумент.]]> Swetlana Prolog https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2996761 Thu, 29 Sep 2011 04:37:49 +0000 Может кто хорошо шарит в пролог https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2996761
Добавлено
он не только, ругается и на эту строку

    x=mult(2,5),
    write(x).


Мол используются статические методы

в этом случае даёт всё время false
    multi(0,0).
    multi(s(X),Y,Z):- multi(X,Y,W), plus(W,Y,Z).
]]> staff Prolog https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2996759 Thu, 29 Sep 2011 04:28:49 +0000 Может кто хорошо шарит в пролог https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2996759 Swetlana Prolog https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2996646 Wed, 28 Sep 2011 18:50:20 +0000 Может кто хорошо шарит в пролог https://forum.sources.ru/index.php?showtopic=341468&view=findpost&p=2996646
Пробывал с консоли и в самом test.pl

    mult(x,m) :- mult(x,m-1)+x.
     
    goal
    x=mult(2,5),
    write(x).


Ни в какую ни даёт запустить, что тут не так написано ?]]> staff Prolog