Навигация
Главная
Поиск
Форум
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
Имитационное мо... 60528
Реклама
Сейчас на сайте
Гостей: 2
На сайте нет зарегистрированных пользователей

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

Расчет мер близости на отношениях на Delphi + Пояснительная записка
База данных электронного документооборота на Delphi + бд Intebase
Создание последовательности окон и передвижение окон по экрану на Turbo ...

Реклама



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

ПОДПИСЫВАЙСЯ на канал о программировании
Предикат functor(T,F,N)
Предикат functor определен таким образом, что functor(T,F,N) означает, что Т - это структура с функтором (именем структуры) F, имеющая N аргументов. Этот предикат можно использовать двумя основными способами.
Определение имени структуры и числа ее аргументов. В первом случае аргумент Т уже имеет значение. Целевое утверждение считается несогласованным с базой знаний, если Т не является ни атомом, ни структурой. Если Т - это атом или структура, то F сопоставляется с функтором этой структуры, а N присваивается значение, равное числу аргументов структуры. Заметим, что атом - это структура с числом аргументов 0. Ниже приведено несколько примеров целевых утверждений с предикатом functor:
?- functor('сумма'(3,6,Z),F,N).
Z=_23 F='сумма' N=3
?- functor(a+g,F,N).
F=+ N=2
?- functor([a,b,p],F,N).
F='.' N=2
?- functor('артист',F,N).
F='артист' N=0
?- functor([1,4,8],1,Z).
no



Создание структуры с заданным именем и заданным числом аргументов. Второй способ использования предиката functor состоит в том, что первый аргумент целевого утверждения functor(T,F,N) представляет собой не конкретизированную переменную, а два других конкретизированы. Это условие должно обязательно выполниться, однозначно определяя функтор и число аргументов соответственно. Целевое утверждение такого вида всегда согласуется с базой данных, и в результате значением Т становится структура с указанным функтором и числом аргументов. Таким образом, это некоторый способ создания произвольных структур по заданному функтору структуры и числу ее аргументов. Аргументами такой структуры, созданной с помощью предиката functor, являются не конкретизированные переменные. Следовательно, эта структура будет сопоставима с любой другой структурой, имеющей тот же функтор и одинаковое число аргументов.
Предикат functor используется для создания структуры в основном тогда, когда нам надо получить "копию" некоторой уже существующей структуры с новыми переменными в качестве аргументов. Мы можем ввести для этого предикат 'копирование', использующий functor как целевое утверждение:
/* определение функтора F и числа аргументов N */
'копирование'(STARAI,NOVAI):-functor(STARAI,F,N),
functor(NOVAI,F,N).
/* построение копии структуры */
?- 'копирование' ('предложение'('участник'(Х),'игра'(Z)),Z1).
Z1='предложение'(_23,_24).














Опубликовал Kest Ноябрь 18 2009 11:24:06 · 0 Комментариев · 5609 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
DCMintry
Доступа к БД Fire...
Работа с базами д...
Система баннеро-о...
Delphi 2006 - Спр...
Animated Menus
Панель для реклам...
SODA [Исходник на...
Visual Basic Script
Scrrlcaptoin
Пример работы с р...
База данных фильм...
Шаблон для новост...
Email
Xrumer 4 Platinum...
OnlineIP
Domen Name IP
C# в кратком изло...
Как программирова...
Animation (Пример...

Топ загрузок
Приложение Клие... 100530
Delphi 7 Enterp... 91894
Converter AMR<-... 20101
GPSS World Stud... 15392
Borland C++Buil... 13057
Borland Delphi ... 9153
Turbo Pascal fo... 7112
Калькулятор [Ис... 5193
Visual Studio 2... 5034
FreeSMS v1.3.1 3559
Случайные статьи
УСТРОЙСТВА В GPSS
Создание XHTML-при...
op(X,Y,Z)
Одной из мощных ко...
Решение проблемы п...
Решение заключаетс...
Как пользоваться м...
Как писать правиль...
Ползунки Microsoft
Задачи привратника...
Реализация вызова ...
Функция скачки фай...
Label Identifier e...
• Доступ к Web-узл...
Отдых
Деструктор
Приемы синтезаторов.
Блок MARK
Работа с избранным...
Линии серий (рядов)
Тэги head, title и...
Социальные сети.
Решения к главе 6
Фаза исследования
ГЛАВА 6. ВСТРОЕНН...
Статистика



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


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