Навигация
Главная
Поиск
Форум
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
Подключение Mic... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Организация зап... 64602
Создание потоко... 61594
Модуль Forms 61229
Создание отчето... 61174
ТЕХНОЛОГИИ ДОСТ... 57623
Пример работы с... 55124
Имитационное мо... 53016
Реклама
Сейчас на сайте
Гостей: 4
На сайте нет зарегистрированных пользователей

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

Моделирование круглосуточного интернет кафе на GPSS + Отчет
Моделирование работы участка термической обработки шестерен на GPSS + По...
Поиск пути в графе заданном списками инцедентности на Turbo Pascal

Реклама



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

ПОДПИСЫВАЙСЯ на канал о программировании
Если конкатенация L1 и L2 - есть префикс L3, то ответ - yes, иначе - no [SWI Prolog]
Даны списки L1,L2,L3. Если конкатенация L1 и L2 - есть префикс L3, то ответ - yes, иначе - no.

Исходный код программы SWI Prolog:
:-op(120,xfy,v).% оператор логического ИЛИ, имеет самый низкий приоритет, бинарный.
:-op(110,xfy,&). %оператор логического И, имеет приоритет выше, бинарный.
:-op(100,fx,^).

p(F):-true_fact(F).
p(^F):-false_fact(F).
p(A v B):-p(A);p(B).
p(A&B):-p(A),p(B).

read_true_facts:-read(F),(not(F=end),assert(true_fact(F)),read_true_facts;F==end).

read_false_facts:-read(F),(not(F=end),assert(false_fact(F)),read_false_facts;F==end).

main:- write('Vveidte imena istinnih faktov. Posle imeni stavitsya tochka. Po okonchanii vvedite end.'),nl,read_true_facts,
write('Vveidte imena loznih faktov. Posle imeni stavitsya tochka. Po okonchanii vvedite end.'),nl,read_false_facts,
write('Vvedite logicheskoe virazenie: '),read(V),(p(V),write('Ono istinno!');not(p(V)),write('Ono lozno!')).


%?- main.
% Vveidte imena istinnih faktov. Posle imeni stavitsya tochka. Pookonchanii vvedite end
%|: a.
%|: end.
% Vveidte imena loznih faktov. Posle imeni stavitsya tochka. Pookonchanii vvedite end
%|: b.
%|: c.
%|: end.
%Vvedite logicheskoe virazenie: (a v c)& ^b.
%Ono istinno!
%true
a(A,B,C):-append(A,B,Begin),append(Begin,_,C).%esli mozno ispolzovat vstroennii predicat sliyaniya

app([],B,B).%esli nelzya ego ispolzovat. Togda 1 i 3 pravilo opredelyayut ego.
%A vtoroe dlya togo, chtobi rezultat cliyaniya bil prefiksom, a ne imenno tretim parametrom
app([],B,C):-app(B,_,C).
app([H|Tail],B,[H|NewTail]):-app(Tail,B,NewTail).





Описание:
=-Op(120,xfy,v).% оператор логического ИЛИ, имеет самый низкий приоритет, бинарный.
=-Op(110,xfy,&). %оператор логического И, имеет приоритет выше, бинарный.
=-Op(100,fx,^).




предикат main просто вызывет предикат считывания истинных фактов, потом предикат считывания
ложных фактов, а потом запрашивает само логическое выражени.

предикат считывания истинных фактов считывает слово, если оно не равно end, то засонит в
баззу данных факто вида true_fact(F) и рекурсивно продолжает считывание, в противном случае завершает считывание
read_true_facts:-read(F),(not(F=end),assert(true_fact(F)),read_true_facts;F==end).




предикат считывания ложных фактов отличается только видом заносимых в базу фактов

p(F):-true_fact(F).
p(^F):-false_fact(F).
p(A v B):-p(A);p(B).
p(A&B):-p(A),p(B).




что касается предиката со слиянием... если можно пользоваться встроенных предикатом слияния append
a(A,B,C):-append(A,B,Begin),append(Begin,_,C).



то просто сливаем предикаты А и В и смотрим чтобы результат
этого слияния при слиянии еще с чем-либо(неважно с чем, поэтому безымянная переменная) образовывал третий параметр

если нельзя им пользоваться, то просто немного видоизменим реализацию стандартного предиката слияния
стандартная реализация выглядит так
app([],B,B). (1)
app([H|Tail],B,[H|NewTail]):-app(Tail,B,NewTail). (3)




А чтобы у третьего параметра мог оставаться еще хвост, то вводим еще правило
app([],B,C):-app(B,_,C). (2)




Т.е при вызовен предиката будет сначала выполняться правило 3, до тех пор пока первый
параметр не станет пустым, потом вызоветься 2 правило (если кончено изначально при вызове
третий список не был точным результатом конкатенации). А после этого начнет обыкновенная
стандартная работа предиката append, для этого и нужно 1 правило.

Очень часто программисту нужно http://probeg.ucoz.ru авто.
Опубликовал Kest February 22 2011 19:54:18 · 0 Комментариев · 4917 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
Открытие Cd-ROM'a...
Иллюстрированный ...
ЯЗЫК ПРОГРАММИРОВ...
База предприятий ...
100 компонентов о...
Win-Prolog 3.618
FormShape [Исходн...
Эффект лампы на р...
Java 2. Наиболее ...
PHP 5 для "чайников"
Андрей Боровский....
C++ Builder: Книг...
Программирование ...
CoolHints2k v1.03
Error mod
Delphi 2006 - Спр...
База Allsubmitter...
Программирование ...
Print Grid
DelphiXIsoDemo1

Топ загрузок
Приложение Клие... 100384
Delphi 7 Enterp... 83517
Converter AMR<-... 20051
GPSS World Stud... 11298
Borland C++Buil... 11233
Borland Delphi ... 8175
Turbo Pascal fo... 6987
Visual Studio 2... 4970
Калькулятор [Ис... 4416
FreeSMS v1.3.1 3516
Случайные статьи
Как сделать схему ...
Получение ресурсов...
Частный сектор Абх...
display(X)
Шаблоны и... шаблоны
Декодер для адапти...
15.4. Принципы Зад...
Введение
Что делать при под...
Компиляция проекта...
Процедура ClearDev...
Принтеры и DTE
Табулирование функ...
• На всех клиентск...
Основная особеннос...
Другие «примочки»
Настройки с заголо...
Отсутствие списка ...
Приложения TCP/IP ...
Поиск минимума фун...
Как работает опера...
MIPS-инструкции не...
QuickTime
Денежные слоты
Что делать с седьм...
Статистика



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


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