рефераты конспекты курсовые дипломные лекции шпоры

Раздел Программирование
/
Секции программы

Реферат Курсовая Конспект

Выберите учебное заведение

Секции программы

Секции программы - раздел Программирование, Логическое программирование Секция Domains-(Объявление Областей Определения). 1...

Секция domains-(объявление областей определения).

1 Способ.

имя области = d

где d- любой тип. Например

person=string

nomer=integer

2.Способ.

Имя_списка = d*,

Где d- один из типов или имя области; *- указатель списка.

Например; spisok_celych=integer*

Spisok_bukv=char*

3. Способ.

-составная_область=функтор1(d1,d2,…);функтор(d3,d4,…);

где d1,d2,d3,d4,… любой тип.

Objekt=int(integer);str(string)

-mesto=spravo;slevo;

4.Способ.

file=имя1,имя2…

где имя1,имя2 –символические имена файлов.

-file=input_file,output_file

Секция predicates (объявление предикатов):

Имя_предиката(d1,d2,…)

Где d1,d2- соответственно области определения агрумента1, аргумента2,… .

Math(person, person)

Otec(person, person).

Секция database (объявление оперативной базы данных):

Синтаксис объявления точно такой же как в секции predicates.

Объявленные здесь предикаты указывают область определения динамической базы данных dbasedom, которая генерируется автоматически. При работе с динамической базой все термы должны соответствовать этой области. Здесь объявленные предикаты не должны быть в секции predicates , но дизъюнкты этих предикатов могут присутствовать в секции clauses.

Секция clauses (дизъюнкты)

Это собственно база данных, где и записываются все дизъюнкты всех предикатов.

.math(“Евдокия”,”Мария”).

.math(“Юля”,Syn):-Syn=”»Евгений”;Syn=”Игнатий”.

Секция goal (цель)

Здесь указывается вопрос, на который должен ответить ТП. Записывается он как дизъюнкт без головы и знака “:-”. Если в пользовательской программе нет цели (нет goal), то перед выполнением программы цель запрашивается.

Программа родственных отношений выглядит так:

domainsperson=stringpredicates /*предикаты*/

math(person,person) /*мать */

swekrow(person,person) /*свекровь*/

otec(person,person) /* отец */

djadja(person,person) /* дядя */

wopros /*вопрос */

clauses

math ("Евдокия","Мария").

math ("Юлия","Евгений").

math ("Юлия","Игнатий").

otec ("Евгений","Мария").

djadja ("Игнатий","Мария").

swekrow ("Юлия","Евдокия").

wopros:-math(Math,"Мария"),

swekrow(Swekrow,Math),

math (Swekrow,Gost),

write ("возможный гость ",Gost),

nl,

fail. /*вывод всех решений*/

wopros:-write(">нет решений") /*нет решения*/

goal

makewindow(1,74,7," рабочее окно",16,0,8,80),

wopros.

Предикат wоpros ( без аргументов) формирует высказывание:

Возможный гость “Евгений”

Возможный гость “Игнатий”

No solutin нет решений

В базе данных факт math(“Юлия”,”Евгений”) стоит первым и выводится при просмотре тоже первым.

Развернуть

Открыть в широком формате

– Конец работы –

Эта тема принадлежит разделу:

Логическое программирование

Логическое программирование... После многолетних теоретических работ по математической логике в году в... Для программиста особенность языка Пролог состоит в том что он на основе выражений логики предикатов может заниматься...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Секции программы

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Логика высказываний
Формально-логические высказывания представляются с помощью букв, с которыми производятся логические операции. Например, предложение: Машина находится у дома. Является выс

Логика предикатов
С помощью логики предикатов можно выразить связи между различными вещами. Формально высказывания в логике предикатов имеют вид: P(t1,t2,…tn), Где t1, t2, …, tn – аргументы,

Живущей в монастыре.
Строгая аббатиса дает Марии точные указания, какие правила необходимо соблюдать в монастыре, в частности, что туда нельзя пропускать мужчин. Но однажды аббатиса обнаружила в монастыре мужчину и ста

Дизъюнкты
База данных составляется с помощью предикатов, каждый из которых описывается множеством дизъюнктов: Функтор(аргумент1, аргумент2, …):-условие1,условие2,… . Где функтор- имя предик

Константы и переменные
Константы должны начинаться с маленькой буквы, либо стоять в одинарных или бинарных кавычках, либо они являются числами: -mother -price -list‘f’ 169 1.4e-3

Обработка программ Турбо Прологом
Обработка программ ведется по принципу “поиска вглубь”.Это означает, что ТП всегда пытается доказать утверждение в дизъюнктах слева направо с помощью фактов и правил из базы данных. Целево

Возврат и отсечение
ТП в случае, если есть больше одного дизъюнкта для одного предиката, отмечает этот дизъюнкт точкой решения, чтобы он мог вернутся в эту точку и продолжить работу со следующим дизъюнктом, даже есла

Рекурсия
Вычисление факториала: .f(0)=1 f(n+1)=(n+1)*f(n) .predikrtes fak(integer, real) .clauses fak(0,1):-!. /* 0!=1 */ fak(N, Fak):- N>0, /*только

Работа с файлами
/* telefon book + file */ trace domains name,adr= string datad=c(name,adr) file=d predicates person(name,adr) getdata(file)

Изменения в базе данных
asserta(факт) (dbasedom): (i) Добавляет новый факт перед остальными фактами того жe предиката в оперативную базу данных. Факт должен быть

Арифметика
Арифметические утверждения присваивания имеют следующий общий вид: результат = операнд1 оператор операнд2 В качестве опера

Работа с данными типа string
concat( строка1, строка2, строкаЗ) (string,string,string):(i,i,i)(i,i,o)(i,o,i)(o,i,i) В зависимости от конкретизации выполняется лексикографическа

Преобразование типов
Все предикаты преобразования типов действуют в обе стороны ((i,о) и (o,i)), а случай (i,i) проверяет истинность (не для предиката real). Преобразование между типам

Команды операционной системы
Для выполнения команд system и dir необходимо, чтобы Турбо-Прологу была доступна дискета с COMMAND. СОМ. system(команда) (string):(i)

Версии Турбо-Пролога
Данные методические указания описывают версию 1.0. Уже доступная версия Турбо-Пролог 1.1 имеет следующие дополнительные возможности: - предикат makewindow

Внешняя среда системы Турбо-Пролог
Турбо-Пролог после запуска предпологает определенную конфигурацию своих и пользовательских файлов. Различаются пять каталогов: 1. Турбо-каталог. Здесь дол