[swi-prolog][дискретка][как?] Логическая программа

0

0

Здрасьте.
Как на swi-prolog'е можно сделать программу, которая решает логическую задачу (с предикатами первого порядка)? На парах записывали программы вот так:

Predicates:
V(x)
K(x)
P(x)
O(x)
G(x)
D(x)
Clauses:
D(a)
K(x):-V(x)
P(x):-O(x)
:-K(x),G(x)
V(x):-D(x)
G(x):-P(x)
Goal ?- not(O(a))

в dev-lang/swi-prolog так не пашет.
Заранее спасибо за помощь.

PS. Желательно показать на вот этом примере ^^

Ссылка

←	вы тут сидите, а pylons релизнулся

[rutracker]препоны для качалок (torrent-файлов)

→

Что это за смайлики?

~~amonymous~~
(28.05.10 22:10:22 MSD)

Ссылка

У нас будет пролог только в следующем семестре... Или даже в послеследующем.

~~Yareg~~ ★★★
(28.05.10 22:16:16 MSD)

Ответ на: комментарий от Yareg 28.05.10 22:16:16 MSD

у меня практика вообще через 2 семестра, вроде =\

do0dlez ★★
(28.05.10 22:17:42 MSD) автор топика

Ссылка

Школо^W Студенты в треде!

Студентота на моём ЛОРе! Ололо!

По сабжу: ТС ошибся разделом.

derrix
(28.05.10 22:33:11 MSD)

Ответ на: Школо^W Студенты в треде! от derrix 28.05.10 22:33:11 MSD

Студентота на моём ЛОРе! Ололо!

Не первый и не последний

ошибся разделом

ХЗ. Всё-таки это не совсем разработка...

do0dlez ★★
(28.05.10 22:55:39 MSD) автор топика

Ссылка

>Здрасьте.

B вам не хворать.

В прологе атомы начинаются с маленькой буквы, Переменные с большой, пролог-программа состоит из предложений, каждое из которых заканчиваются точкой (".").

строки

Predicates:
V(x)
K(x)
P(x)
O(x)
G(x)
D(x)
Clauses:

нужно смело выбросить.

в правиле

:-K(x),G(x)

отсутствует голова предложения и завершающая точка, впрочем, точка отсутствует везде.
В общем у меня сложилось впечатление, что пролог вы проходили ... мимо :(

Attila ★★
(28.05.10 23:01:27 MSD)

Словечки Predicates и Clauses - отличительные особенности Турбо Пролога и его потомка Visual Prolog. Впрочем, классические книги как раз скорее по чистому стандарту языка, так что не должно быть проблем.

metar ★★★
(28.05.10 23:11:21 MSD)

Ответ на: комментарий от Attila 28.05.10 23:01:27 MSD

В общем у меня сложилось впечатление, что пролог вы проходили ... мимо :(

Повторюсь, но собственно всё так и есть. На занятиях по дискретке мы просто рассмотрели общую концепцию (?). Собственно практика по ПРОЛОГу будет очень не скоро.
Я решил просто попробовать это всё на компьютере.
И да, можно таки пример правильный по этой задаче?

do0dlez ★★
(28.05.10 23:11:40 MSD) автор топика

Ответ на: комментарий от metar 28.05.10 23:11:21 MSD

Я к чему... Турбо Пролог вроде не вполне соответствует стандарту.

metar ★★★
(28.05.10 23:12:25 MSD)

Ссылка

Ответ на: комментарий от do0dlez 28.05.10 23:11:40 MSD

>И да, можно таки пример правильный по этой задаче?

этой задаче?

этой, это какой?

p.s. Welcome to Форум - Develop и там задавай задачки, но я бы рекомендовал почитать И. Братко перед этим для начала.

Attila ★★
(29.05.10 00:29:12 MSD)

Ответ на: комментарий от Attila 29.05.10 00:29:12 MSD

Попытаюсь ещё раз.
Я не пытаюсь написать сложную программу. Я просто пытаюсь сделать на компьютере то, что мы делаем на парах в тетрадях. Вот на примере:

Задача. Область определения – люди колледжа.
Все выпускники Итона в колледже играют в крикет.
Никто, кроме преподавателей, не обедает за верхним столом.
Ни один из тех, кто играет в крикет, не умеет грести.
Все мои друзья в этом колледже выпускники Итона.
Все преподаватели прекрасные гребцы.
Вывод: все мои друзья не преподаватели.

формализация выглядит так. А «логическая программа» выглядит так, как в заглавном сообщении.

do0dlez ★★
(29.05.10 01:44:16 MSD) автор топика