Создание проекта в Prolog

@dikovad · Регистрация: 08.06.2012

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

Здравствуйте!
Недавно в университете пришлось столкнуться с прологом (никогда с ним не встречался).
И мне надо решить задачу:
"Каждая мать семерых детей, знающая английский язык, носит шиньон, даже если она в очках. Каждая женщина в очках имеет семерых детей или говорит по-английски. Никакая женщина, не имеющая семерых детей, не носит очки, если только у нее нет шиньона. Каждая женщина, у которой есть семь детей и которая носит очки, знает английский язык. Ни у одной женщины, носящей шиньон, нет семерых детей.
Если каждое из этих пяти утверждений, верно, то что вы могли бы сказать о тех из женщин, которые носят очки?
"
Готовый код я нашел в интернете, но из-за абсолютного незнания пролога не знаю куда его вставить, чтобы заработало.
Извините за дуратский вопрос, но куда надо вставить код?
Вот сам код программы

Prolog

domains
свойство = reference string
predicates
nondeterm значение(string)
nondeterm высказывание(integer,свойство,свойство,свойство)
nondeterm или(string,string)
clauses
значение("истина"). значение("ложь").
 
высказывание(1,Семеро_детей,Английский,Шиньон):- 
    Семеро_детей="истина",Английский="истина",!,Шиньон="истина";true.
высказывание(2,Семеро_детей,Английский,Очки):- Очки="истина",!,
    или(Семеро_детей,Английский);true.
высказывание(3,Семеро_детей,Очки,Шиньон):- 
    Семеро_детей="ложь",Шиньон="ложь",!,Очки="ложь";true.
высказывание(4,Семеро_детей,Английский,Очки):- 
    Семеро_детей="истина",Очки="истина",!,Английский="истина";true.
высказывание(5,Семеро_детей,Шиньон,_):- 
    Шиньон="истина",!,Семеро_детей="ложь";true.
 
или(Семеро_детей,Английский):- Семеро_детей="истина";Английский="истина".
goal
Очки="истина",
значение(Семеро_детей),значение(Английский),значение(Шиньон),
высказывание(1,Семеро_детей,Английский,Шиньон),
высказывание(2,Семеро_детей,Английский,Очки),
высказывание(3,Семеро_детей,Очки,Шиньон),
высказывание(4,Семеро_детей,Английский,Очки),
высказывание(5,Семеро_детей,Шиньон,_).

	27.12.2012, 16:08