Объясните, каким образом работает программа? Ввожу ее в prolog, но результатов нет.

@ksyu91 · Регистрация: 15.06.2017

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

Объясните, каким образом работает программа. Ввожу ее в prolog, но результатов нет. Помогите, пожалуйста!

Prolog

 predicates
        a(symbol)
        b(symbol,symbol)
        c(symbol)
        t(symbol)
        d(symbol)
      goal a(X),write(X).
      clauses
        a(Y):-c(X),b(X,Y),t(Y).
        c(m).
        c(a).
        b(X,Y):-d(Y),X=a,!.
        d(l).
        d(s).
        t(s).

@arlat · 22.06.2017, 10:42

Сообщение от ksyu91

но результатов нет

А какой должен быть результат? Опишите алгоритм, входные и выходные данные для теста.

@Влад Максимов · 24.06.2017, 13:12

Сообщение от ksyu91

a(Y):-c(X),b(X,Y),t(Y).

X сопоставляется с m, решение не подходит, т.к.

Сообщение от ksyu91

b(X,Y):-d(Y),X=a,!.

Далее

Сообщение от ksyu91

d(Y)

Сообщение от ksyu91

d(l).

Y сопоставляется с l. А затем у Вас в правиле b(X,Y) стоит отсечение, значит другие варианты решений не рассматриваются. Т.к. в правиле a(Y) есть ещё t(Y), а факта t(l) нет, то и решений нет.

Довольно странный учебный пример, честно говоря.

@arlat 794 / 598 / 156 Регистрация: 07.10.2013 Сообщений: 1,327
	22.06.2017, 10:42	2
	Сообщение от ksyu91 но результатов нет А какой должен быть результат? Опишите алгоритм, входные и выходные данные для теста. 0

@Влад Максимов 0 / 0 / 1 Регистрация: 24.06.2017 Сообщений: 3
	24.06.2017, 13:12	3
	Сообщение было отмечено ksyu91 как решение Решение Сообщение от ksyu91 a(Y):-c(X),b(X,Y),t(Y). X сопоставляется с m, решение не подходит, т.к. Сообщение от ksyu91 b(X,Y):-d(Y),X=a,!. Далее Сообщение от ksyu91 d(Y) Сообщение от ksyu91 d(l). Y сопоставляется с l. А затем у Вас в правиле b(X,Y) стоит отсечение, значит другие варианты решений не рассматриваются. Т.к. в правиле a(Y) есть ещё t(Y), а факта t(l) нет, то и решений нет. Довольно странный учебный пример, честно говоря. 0

Объясните, каким образом работает программа? Ввожу ее в prolog, но результатов нет.

Решение