VPF::[Visual Prolog] Логическая задача - Форум программистов

EmeJIbka

Дата 24.12.2006, 21:54 (ссылка)

(нет голосов)

Загрузка ...

Новичок

Профиль
Группа: Участник
Сообщений: 7
Регистрация: 13.8.2005

Репутация: нет
Всего: нет

Доброго времени суток, олл smile

Подскажите,плиз, как будет выглядеть решение следующей логической задачки на Visual Prolog:

Цитата

Брауну, Джонсу и Смиту предъвлено обвинение в соучастии в ограблении банка. Похитители скрылись на поджидавшем их автомобиле. На следствии Браун показал, что преступники били на синем "Бьюике". Джонс сказал, что это был чёрный "Крайслер", а Смит утверждал, то это был не синий "Форд". Стало известно, что каждый назвал правильно только марку или цвет. Что это была за машина?

Вроде бы понятен алгоритм решения:
1)Создать предикат, который выбирает цвет или марку
2)Объединить 3 предиката по "И"
smile

Artemios

Дата 24.12.2006, 23:46 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 405
Регистрация: 14.8.2006
Где: Саратов, Россия

Репутация: 2
Всего: 50

Задача один-в-один копирует вторую задачу отсюда.
Соответственное и решение.
В SWI-Prolog:

Код


only_own(A,B):-
    A, not(B);
    not(A),B.

member_of_list(X,[X|L]).
member_of_list(X,[Y|L]):-
    member_of_list(X,L).

car(Model,Color):-
    member_of_list(Model,[bjuyck,ford,krisler]),
    member_of_list(Color,[blue,black]),
    only_own(Model=bjuyck,Color=blue),
    only_own(Model=krisler,Color=black),
    only_own(Model=ford,Color\=blue).

проверка:

Цитата

?- car(M,C).

M = bjuyck
C = black

Yes
?-

Для Visual Prolog придется писать больше, что-то примерно такое:

Код


domains

slist = string*

predicates

member_of_list(string,slist)
car(string,string)

clauses

member_of_list(X,[X|L]).
member_of_list(X,[Y|L]):-
    member_of_list(X,L).

car(Model,Color):-
    member_of_list(Model,[bjuyck,ford,krisler]),
    member_of_list(Color,[blue,black]),
    (Model=bjuyck,Color\=blue; Model\=bjuyck,Color=blue),
    (Model=krisler,Color\=black;Model\=krisler,Color=black),
    (Model=ford,Color=blue;Model\=ford,Color\=blue).

goal

car(Model,Color), write(Model),nl,write(Color),nl.

но с Visual не гарантирую, т.к. проверить не могу (нет его у меня), да и не помню его почти.

Это сообщение отредактировал(а) Artemios - 26.12.2006, 07:17

--------------------

fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ]

bulat2611

Дата 12.12.2013, 19:22 (ссылка)

(нет голосов)

Загрузка ...

Новичок

Профиль
Группа: Участник
Сообщений: 1
Регистрация: 12.12.2013

Репутация: нет
Всего: нет

Цитата

domains
slist = string*
predicates
member_of_list(string,slist)
car(string,string)
clauses
member_of_list(X,[X|L]).
member_of_list(X,[Y|L]):-
    member_of_list(X,L).
car(Model,Color):-
    member_of_list(Model,[bjuyck,ford,krisler]),
    member_of_list(Color,[blue,black]),
    (Model=bjuyck,Color\=blue; Model\=bjuyck,Color=blue),
    (Model=krisler,Color\=black;Model\=krisler,Color=black),
    (Model=ford,Color=blue;Model\=ford,Color\=blue).
goal
car(Model,Color), write(Model),nl,write(Color),nl.

можно переделать на turbo prolog?

Фантом

Дата 12.12.2013, 22:49 (ссылка)

(нет голосов)

Загрузка ...

Вы это прекратите!

Профиль
Группа: Участник Клуба
Сообщений: 1516
Регистрация: 23.3.2008

Репутация: 7
Всего: 49

Цитата(bulat2611 @ 12.12.2013, 20:22

)

можно переделать на turbo prolog?

А что, собственно, нужно переделывать? Процитированный Вами код семилетней давности в переделке не нуждается.

1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| Центр помощи \| Следующая тема »