Банк рефератов содержит более 364 тысяч рефератов, курсовых и дипломных работ, шпаргалок и докладов по различным дисциплинам: истории, психологии, экономике, менеджменту, философии, праву, экологии. А также изложения, сочинения по литературе, отчеты по практике, топики по английскому.
Полнотекстовый поиск
Всего работ:
364139
Теги названий
Разделы
Авиация и космонавтика (304)
Административное право (123)
Арбитражный процесс (23)
Архитектура (113)
Астрология (4)
Астрономия (4814)
Банковское дело (5227)
Безопасность жизнедеятельности (2616)
Биографии (3423)
Биология (4214)
Биология и химия (1518)
Биржевое дело (68)
Ботаника и сельское хоз-во (2836)
Бухгалтерский учет и аудит (8269)
Валютные отношения (50)
Ветеринария (50)
Военная кафедра (762)
ГДЗ (2)
География (5275)
Геодезия (30)
Геология (1222)
Геополитика (43)
Государство и право (20403)
Гражданское право и процесс (465)
Делопроизводство (19)
Деньги и кредит (108)
ЕГЭ (173)
Естествознание (96)
Журналистика (899)
ЗНО (54)
Зоология (34)
Издательское дело и полиграфия (476)
Инвестиции (106)
Иностранный язык (62791)
Информатика (3562)
Информатика, программирование (6444)
Исторические личности (2165)
История (21319)
История техники (766)
Кибернетика (64)
Коммуникации и связь (3145)
Компьютерные науки (60)
Косметология (17)
Краеведение и этнография (588)
Краткое содержание произведений (1000)
Криминалистика (106)
Криминология (48)
Криптология (3)
Кулинария (1167)
Культура и искусство (8485)
Культурология (537)
Литература : зарубежная (2044)
Литература и русский язык (11657)
Логика (532)
Логистика (21)
Маркетинг (7985)
Математика (3721)
Медицина, здоровье (10549)
Медицинские науки (88)
Международное публичное право (58)
Международное частное право (36)
Международные отношения (2257)
Менеджмент (12491)
Металлургия (91)
Москвоведение (797)
Музыка (1338)
Муниципальное право (24)
Налоги, налогообложение (214)
Наука и техника (1141)
Начертательная геометрия (3)
Оккультизм и уфология (8)
Остальные рефераты (21692)
Педагогика (7850)
Политология (3801)
Право (682)
Право, юриспруденция (2881)
Предпринимательство (475)
Прикладные науки (1)
Промышленность, производство (7100)
Психология (8692)
психология, педагогика (4121)
Радиоэлектроника (443)
Реклама (952)
Религия и мифология (2967)
Риторика (23)
Сексология (748)
Социология (4876)
Статистика (95)
Страхование (107)
Строительные науки (7)
Строительство (2004)
Схемотехника (15)
Таможенная система (663)
Теория государства и права (240)
Теория организации (39)
Теплотехника (25)
Технология (624)
Товароведение (16)
Транспорт (2652)
Трудовое право (136)
Туризм (90)
Уголовное право и процесс (406)
Управление (95)
Управленческие науки (24)
Физика (3462)
Физкультура и спорт (4482)
Философия (7216)
Финансовые науки (4592)
Финансы (5386)
Фотография (3)
Химия (2244)
Хозяйственное право (23)
Цифровые устройства (29)
Экологическое право (35)
Экология (4517)
Экономика (20644)
Экономико-математическое моделирование (666)
Экономическая география (119)
Экономическая теория (2573)
Этика (889)
Юриспруденция (288)
Языковедение (148)
Языкознание, филология (1140)

Реферат: Использование Prolog совместно с другими ЯП

Название: Использование Prolog совместно с другими ЯП
Раздел: Рефераты по информатике
Тип: реферат Добавлен 08:45:26 03 декабря 2006 Похожие работы
Просмотров: 35 Комментариев: 24 Оценило: 2 человек Средний балл: 5 Оценка: неизвестно     Скачать

Использование Prolog совместно с другими ЯП.

Понятие Dll.

Вспомним процесс программирования в DOS. Преобразование исходного текста в машинный код включал в себя 2 процесса: компиляцию и линковку. Во время линковки в код программы помещались не только объявления функций и процедур, но и их полный код.

В многозадачной среде подобный подход был бы весьма расточителен, так как огромное количество функций, отвечающих за прорисовку элементов пользовательского интерфейса, за обращение к системным ресурсам и т.п. дублировались в каждой программе. В качестве решения возникшей проблемы была предложена концепция динамической компоновки (см. рис. 1).

рис 1.

DLL (библиотека динамической связи) – файл, выступающий в качестве коллективной библиотеки предикатов, которые могут быть использованы одновременно в нескольких приложениях. Prolog способен генерировать DLL, включать DLL статически и загружать динамически.

Вызов в программе на VP процедур и функций на других языках.

Прежде чем вызвать процедуры и функции на других языках их нужно объявить как внешний предикат, упомянув, что он осуществляется на другом языке. При этом необходимо знать количество и порядок входных параметров:

GLOBAL PREDICATES

procedure add(integer A, integer B, integer C) – (i,i,o) language pascal

Замечание: обратите внимание, что в VP явно указывается язык процедуры

Передача входных/выходных параметров и возвращение значений.

Размер входных параметров определен однозначно и зависит только от объявленного типа. Выходной параметр – 32 битный указатель на область памяти, где хранится выходное значение.

Следует отметить, что функции на Pascal не могут возвращать значения в формате чисел с плавающей точкой, а функции C - структуры (но могут, конечно, возвращать указатели на них).

Многочисленные декларации.

Предикат VP может иметь различные комбинации входных/выходных параметров, и для каждой из них необходима отдельная процедура. Идентификаторы, используемые в Prolog должны совпадать с идентификаторами в библиотеке + суффикс _X, где X – целое число (порядковый номер процедуры, нумерация начинается с 0). Если существует только один вариант, то суффикс отсутствует. Рассмотрим пример:

GLOBAL PREDICATES

subtraction(integer, integer, integer) – (i,i,o), (i,o,i), (o,i,i), (i,i,i) language C

change(integer, integer) – (i,o) language C

GOAL

subtraction(2,2,X), write(“2-2=”,X), nl,

subtraction(2,Y,5), write(“2-5=”,Y), nl,

subtraction(Z,5,4), write(“5-4=”,X), nl,

subtraction(2,2,5), write(“2-2 равно 5”), nl,

change(5, Ch), write(Ch).

Модуль, связываемый с этой программой должен содержать процедуры:

subtraction_0 (int x, int y, int *z)

{*z=x-y;}

subtraction_1 (int x, int *y, int z)

{*y=x-z;}

subtraction_2 (int *x, int y, int z)

{*x=y-z;}

subtraction_3 (int x, int y, int z)

{if ((x-y)!=z)RUN_Fail();}

change(int a, int *b)

{*b=a;}

Примечание: если процедура написана на языке C, то параметры заносятся в стек в обратном порядке (после возврата значений указатель автоматически корректируется VP), в противном случае, параметры заносятся в стек в нормальном порядке (см. таблицу 1).

Форматы объектных файлов в Win32.

Под Win32 используется 2 формата объектных файлов: OMF (объектно-модульный формат – используется, например, BorlandC++ ) и COFF (Общий объектно-файловый формат, используется, например, VisualC++ ).

1. При использовании файла в формате OMF имя предиката должно совпадать с именем функции.

2. При использовании файла в формате COFF, к имени предиката добавляется знак подчеркивания, и после символа @ указывается количество байт, добавленных в стек (например, если предикат nameимеет 2 целых аргумента, то он должен быть объявлен как _name@8 (см. таблицу 1)).

Установка указателя на стек.

Существует два способа установки указателя на стек: при объявлении функции и при ее вызове. Так сложилось, что Pascal устанавливает указатель при объявлении функции, а С – при вызове (см. таблицу 1).

Конвертирует имена в верхний регистр. Порядок аргументов прямой. Устанавливает указатель на стек при объявлении. Необходимость конвертировать имена в формат COFF.
C - - -
pascal + + +
stdcall + - +
syscall + + -

Таблица 1: вызов модулей из VP.

Неавтоматическое обозначение внешних предикатов.

Идентификатор процедуры или функции в VP не обязательно должен совпадать с идентификатором во внешнем модуле. В этом случае объявление такого предиката имеет вид:

GLOBAL PREDICATES

add(integer, integer, integer) – (i,o) language c as “_myadd@12”

Эквивалентность типов.

Большинство простых типов переменных в VP имеют эквиваленты в других языках программирования, однако размер резервируемой для них памяти может не совпадать (см. таблицу 2).

Тип переменной Размер (Win32).
char, byte 1 байт
short, word 2 байт
long, dword 4 байт
unsigned, integer 4 байт
Real 8 байт
Ref 4 байт

Таблица 2: размер переменных в VP.

Обработка списков.

Ниже приведен пример программы, преобразующей список в массив, и затем вновь возвращающей данные в список.

Программа ListToArray на языке С преобразует список целых чисел в массив, записывает в стек элементы массива и возвращает количество элементов (массив и количество элементов передаются в программу как параметры).

Преобразование списка проходит в 2 этапа:

1. Просматривается список и находится количество элементов в нем.

2. Целые числа из списка заносятся в массив, состоящий из известного количества элементов.

/* Program lstar_p.pro */

project "lstar"

global domains

ilist = integer*

global predicates

inclist(ilist,ilist) - (i,o) language c

goal

inclist([1,2,3,4,5,6,7],L), write(L).

/* Program lstar_c.c */

#define listfno 1

#define nilfno 2

typedef unsigned char BYTE;

void *MEM_AllocGStack(unsigned);

typedef struct ilist {

BYTE Functor;

int Value;

struct ilist *Next;

} INTLIST;

int ListToArray(INTLIST *List,int **ResultArray)

{

INTLIST *SaveList = List;

int *Array, len;

register int *ArrP;

register int i;

/* количество элементов в списке */

i = 0;

while ( List->Functor == listfno ) {

i++;

List = List->Next;

}

len = i;

Array = MEM_AllocGStack(i*sizeof(int));

ArrP = Array;

/* перемещение элементов списка в массив */

List = SaveList;

while ( i != 0 ) {

*ArrP++ = List->Value;

List = List->Next;

i--;

}

*ResultArray = Array;

return(len);

}

void ArrayToList(register int *ArrP,register int n,
register INTLIST **ListPP)

{

while ( n != 0 ) {

*ListPP = MEM_AllocGStack(sizeof(INTLIST));

(*ListPP)->Functor = listfno;

(*ListPP)->Value = *ArrP++;

ListPP = &(*ListPP)->Next;

n--;

}

*ListPP = MEM_AllocGStack(sizeof((*ListPP)->Functor));
/* конецсписка */

(*ListPP)->Functor = nilfno;

}

void inclist(INTLIST *InList,INTLIST **OutList)

{

register int *ArrP, i, len;

int *Array;

len = ListToArray(InList,&Array);

ArrP = Array;

for ( i = 0; i < len; i++)

++*ArrP++;

ArrayToList(Array,len,OutList);

}

Вызов предикатов VP.

VP способен не только вызывать предикаты, но и предоставлять их другим программам. Ниже приведен пример вызова предиката prowin_msg из программы на С:

/* Program hello_p.pro */

global predicates

char prowin_msg(string) - (i) language c

hello_c - language c

clauses

prowin_msg(S,C) :-

write(S," (press any key)"), readchar(C).

goal

prowin_msg("Hello from PDC Prolog"),

hello_c.

/* Program hello_c.c */

char prowin_msg(char *);

void hello_c()

{

while ( prowin_msg("Hello from C (press 'C')") !='C' )

;

}

2003 Pechenkin

[email protected]

www.cs.vsu.ru/~pechenkin

Оценить/Добавить комментарий
Имя
Оценка
Комментарии:
Хватит париться. На сайте FAST-REFERAT.RU вам сделают любой реферат, курсовую или дипломную. Сам пользуюсь, и вам советую!
Никита14:58:42 04 ноября 2021
.
.14:58:40 04 ноября 2021
.
.14:58:39 04 ноября 2021
.
.14:58:36 04 ноября 2021
.
.14:58:34 04 ноября 2021

Смотреть все комментарии (24)
Работы, похожие на Реферат: Использование Prolog совместно с другими ЯП

Назад
Меню
Главная
Рефераты
Благодарности
Опрос
Станете ли вы заказывать работу за деньги, если не найдете ее в Интернете?

Да, в любом случае.
Да, но только в случае крайней необходимости.
Возможно, в зависимости от цены.
Нет, напишу его сам.
Нет, забью.



Результаты(290629)
Комментарии (4189)
Copyright © 2005-2021 HEKIMA.RU [email protected] реклама на сайте