FIRST     Отщепление от начала выражения указанного количества термов

 SYSTEM FIRST

 <FIRST SnEx>
                   где Sn - символ-целое число,
                       Ex - произвольное объектное выражение

   Отщепляет от начала выражения указанное количество термов.

   Значение:  Если Ex представляет собой последовательность из менее,
              чем Sn термов, результатом замены является выражение
                   '*'Ex
              Если же длина Ex не меньше, чем Sn термов, результатом
              замены является
                   (Ea)Eb
              где Ea и Eb - такие выражения, что Ex = EaEb
              и при этом Ea является  последовательностью из
              ровно Sn объектных термов.

  -------------------------------- Пример ----------------------------------

         <FIRST /2/'A'('B')'C'>   -->  ('A'('B'))'C'
         <FIRST /5/'A'('B')'C'>   -->  '*A'('B')'C'

Seealso:



This page last updated on Fri Nov 30 11:06:55 MSK 2001
Copyright © 1992-2001, Vitaly Filatov, Moscow, Russia
Webmaster