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

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

Понятие Dll.

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

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

<img src="/cache/referats/13868/image001.gif" v:shapes="_x0000_i1025">рис 1.

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

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

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

GLOBAL PREDICATES

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

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

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

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

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

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

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

GLOBALPREDICATES

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

change(integer, integer) – (i,o) languageC

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.

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 */

#definelistfno 1

#definenilfno 2

typedef unsigned char BYTE;

void *MEM_AllocGStack(unsigned);

typedef structilist {

BYTE Functor;

int Value;

struct ilist *Next;

} INTLIST;

intListToArray(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);

}

voidArrayToList(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;

}

voidinclist(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

из программы на С:

/* Programhello_p.pro */

global predicates

charprowin_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(«Hellofrom C (press 'C')») != 'C' )

;

}

2003 Pechenkin

pechenkin@pochtamt.ru

www.cs.vsu.ru/~pechenkin

еще рефераты

Еще работы по программированию, базе данных

Реферат по программированию, базе данных

Системы управления базами данных

29 Августа 2013

Реферат по программированию, базе данных

Понятие алгоритма, его свойства. Описание алгоритмов с помощью блок схем на языке Turbo Pascal

29 Августа 2013

Реферат по программированию, базе данных

Возможности системы программирования Delphi для создания пользовательского интерфейса

29 Августа 2013

Реферат по программированию, базе данных

Программирование на Delphi

29 Августа 2013