СодержаниеI. Задание № 1 ................ 2
<br>Реализация на LISP.................. 2
<br>Обзор функций ...................... 2
<br>Исходный код ....................... 3
<br>Примеры ............................ 4
<br>Реализация на PROLOG ............... 5
<br>Обзор функций ...................... 5
<br>Исходный код ....................... 5
<br>Примеры ............................ 6
<br>II. Задание № 2 ................ 7
<br>Реализация на LISP ................. 7
<br>Обзор функций ...................... 7
<br>Исходный код ....................... 8
<br>Рекурсивная реализация ............. 8
<br>Итерационная реализация ............ 9
<br>С использованием функционала ....... 9
<br>Примеры ............................ 10
<br>III. Задание № 3 ................ 11
<br>Реализация на FRL .................. 11
<br>Обзор функций ...................... 11
<br>Исходный код ....................... 13
<br>Примеры ............................ 19
<br>Реализация на PROLOG ............... 23
<br>Обзор функций ...................... 23
<br>Исходный код ....................... 25
<br>Примеры ............................ 28
<br>Список литературы .................. 31ВведениеЗадание № 1.
<br>
<br>Реализовать функции (@CHAR atom n) и (@FINDCHAR atom char n). Первая возвращает n-ый символ атома atom, а вторая возвращает номер позиции первого вхождения char в atom, при этом n задает номер позиции в atom, начиная с которой необходимо выполнять поиск. Если n опущено, то поиск начинается с начала аtom.
<br>
<br>Реализация на LISP
<br>
<br>Обзор функций
<br>
<br>(DEFUN @CHAR (X N) ...)
<br> X – символьный атом
<br> N – номер символа в атоме
<br>Осуществляет проверку входных данных и в случае отсутствия ошибок передаёт функции @char1 список символов, входящих в атом X и номер N. Также функция отлавливает тривиальные ситуации, когда результат заведомо NIL.
<br>
<br>(DEFUN @CHAR1 (X N) ...)
<br>X – список символов
<br> N – номер символа в списке
<br>Осуществляет рекурсивный поиск N-ого элемента в списке. Если N превышает длину списка, возвращает NIL, иначе возвращает N-ый элемент списка.
<br>
<br>(DEFUN @FINDCHAR (X Y N) ...)
<br> X – символьный атом
<br> Y – символ
<br> N – номер
<br>Осуществляет проверку входных данных и в случае отсутствия ошибок передаёт функции @findchar1 список символов, входящих в атом X, символ Y, номер N (если не был указан, то 1) и 1 (номер текущего элемента).
<br>
<br>(DEFUN @FINDCHAR1 (X Y N K) ...)
<br> X – список символов
<br> Y – символ
<br> N – номер
<br> K – номер текущего элемента в списке
<br>Осуществляет рекурсивный поиск элемента Y в списке X. Возвращает номер позиции найденного элемента в списке (K), только если он не меньше N.Литература1. «Программирование на языке ЛИСП в системе muLISP-90». Байдун В.В., Кружилов С.И., Сергиевский А.Е, Чернов П.Л. - М.: Моск. энеpг. ин-т, 1993. – 40 с.
<br>
<br>2. «Языки и системы представления знаний (язык программирования ФРЛ)». Байдун В.В., Бунин А.И., Чернов П.Л. – М.: Моск. энеpг. ин-т, 1993. – 44 с.
<br>
<br>3. «Программирование на языке Пролог». Клоксин У., Меллиш К. М.: Мир, 1987.
<br>
<br>4. «Введение в логическое программирование». Хоггер К. М.: Мир, 1988.
|
