Astronet Поиск по астрономическим сайтам English Russian
       
        Точная форма слов   О проекте   Сайты   Справка
Поиск по:www.cplire.ru/   - Поискать по всем серверам
Найдено документов: 301 (1 сайтов) ---- Время поиска: 0.10сек.   

Показаны документы, содержащие фрагменты текста из документа
http://www.cplire.ru/joined/alt/bull12.html.

1. Actor Prolog. Programming language definition.
... ходе доказательства актора P. Вложенные миры (nested worlds) - Мир B называется вложенным по отношению к миру A, если конструктор мира B является инициализатором слота мира A или какого - либо мира E, вложенного по отношению к A. Встроенный предикат (built - in predicate) - предикат , являющийся составной частью определения языка ... Вызов функции (call of function) - синтаксическая конструкция, имитирующая вызов подпрограммы - функции, возвращающей некоторое значение - терм . ...
[ Сохраненная копия ]  Ссылки http://www.cplire.ru/Lab144/koi8/02030130.html -- 6.2 Кб -- 24.09.2007
Похожие документы


Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам

Комментарии, вопросы? Пишите: info@astronet.ru или сюда

Rambler's Top100 RFBR Яндекс цитирования