Astronet Поиск по астрономическим сайтам English Russian
       
        Точная форма слов   О проекте   Сайты   Справка
Поиск по:   - Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://www.cplire.ru/Lab144/1251/02030146.html. Показаны документы 1 - 1 из 1.

1. Actor Prolog. Programming language definition.
В общем случае, термы языка могут обозначать : . ... значения лексем "переменная" (если речь идет о несвязанных переменных ). терм = простой_терм | составной_терм | ... В качестве функторов составных термов и атомарных формул используются символы и метапеременные ( метафункторы ) : функтор = символ | ... Метапеременными , называются переменные , используемые в качестве функторов и символов . Метапеременные , используемые в качестве функторов , называются метафункторами . ... Следующий: 3.1. ...
[ Сохраненная копия ]  Ссылки http://www.cplire.ru/Lab144/1251/01030000.html -- 6.2 Кб -- 24.09.2007
Похожие документы


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

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

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