Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Пример работы с... 65535
Содержание сайт... 65535
ТЕХНОЛОГИИ ДОСТ... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Создание отчето... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Модуль Forms 65535
Имитационное мо... 60506
Реклама
Сейчас на сайте
Гостей: 6
На сайте нет зарегистрированных пользователей

Пользователей: 13,116
новичок: DenisK
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

База данных электронного документооборота на Delphi + бд Intebase
Компьютерный магазин на Turbo Pascal (База данных) + Пояснительная записка
База данных студентов на Delphi + Microsoft SQL Server

Реклама



Подписывайся на YouTube канал о программировании, что бы не пропустить новые видео!

ПОДПИСЫВАЙСЯ на канал о программировании
Дорожно-транспортное происшествие
На перекрёстке произошло дорожно-транспортное происшествие, в котором участвовал автобус, грузовик, легковой автомобиль и маршрутное такси. Свидетели происшествия дали показания инспектору ГИБДД.
Первый свидетель считал, что первым на перекрёсток выехал автобус, а маршрутное такси было вторым. Другой свидетель полагал, что последним на перекрёсток выехал легковой автомобиль, а вторым был грузовик. Третий свидетель уверял, что автобус выехал на перекрёсток вторым, а следом за ним легковой автомобиль. В результате оказалось, что каждый свидетель был прав только в одном из своих утверждений.
В каком порядке выехали машины на перекрёсток?

domains
slist=string*

predicates
nondeterm member(string,slist)
nondeterm avto(string)
nondeterm avtos(slist)
nondeterm res(slist,integer)
nondeterm solution (slist)

clauses
member(H,[H|_]).
member(H,[_|Tail]):-member(H,Tail).

avto(bus).
avto(truck).
avto(car).
avto(taxi).

avtos([]).
avtos([H|Tail]):-avtos(Tail),avto(H),not(member(H,Tail)).

res(L,1):-L=[bus,X,_,_], X<>"taxi".
res(L,1):-L=[X,taxi,_,_], X<>"bus".
res(L,2):-L=[_,X,_,car], X<>"truck".
res(L,2):-L=[_,truck,_,X], X<>"car".
res(L,3):-L=[_,bus,X,_], X<>"car".
res(L,3):-L=[_,X,car,_], X<>"bus".

solution(Ans):-
Ans=[_,_,_,_],
avtos(Ans),
res(Ans,1),
res(Ans,2),
res(Ans,3).

goal solution(Ans).




Ans=["bus","truck","car","taxi"]
1 Solution


Опубликовал Kest Июль 11 2010 23:36:37 · 0 Комментариев · 4517 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Комментарии
Нет комментариев.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере! • Смотрите канал о путешествияхКак приготовить мидии в тайланде?
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
Распознавание иде...
Berg
MpegPlay
Delphix Sample [И...
Трассировка прово...
База предприятий ...
45 уроков по дельфи
Calendar
Report
Создание меню на ...
Программирование ...
Billenium Effects...
ShadelLabel
Geo-Whois
INSTANT BOOSTER v...
Atb
База каталогов ( ...
Rotolabel
Task Shedule
Разработка интерн...

Топ загрузок
Приложение Клие... 100530
Delphi 7 Enterp... 91870
Converter AMR<-... 20101
GPSS World Stud... 15381
Borland C++Buil... 13049
Borland Delphi ... 9145
Turbo Pascal fo... 7112
Калькулятор [Ис... 5191
Visual Studio 2... 5033
FreeSMS v1.3.1 3559
Случайные статьи
Подсистема STREAMS...
Работа со списком ...
EQU (ОПРЕДЕЛИТЬ ЭК...
Существует мнение,...
Создание простейше...
Числовые функции
Сеть CDN
Объектно-ориентиро...
Выбор формата файл...
Основная работа ок...
Простота
Операции со стеком
Благодарности к пе...
Решения к главе 11
Работа с листами р...
Цветные «скины» дл...
Указатели на функц...
Pragmatic Bookshelf
Создание значка ко...
Почему уходит так ...
Электронная почта ...
Исходная БДдиспетч...
Разработать прикла...
Деструктор
PHP и Web. Кэширов...
Статистика



Друзья сайта
Программы, игры


Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?