Төмендегі тапсырмаларды орындау

Есептің қойылуы

Тізімдер Лисп тіліндегі берілгендердің негізгі түрі болып саналады. Тізім деп дөңгелек жақшаға алынған тізім элементтерінің шектеулі тізбегін түсінеміз. Тізім элементі не атом не, тізім болуы мүмкін. Тізімнің бірінші элементі тізім басы деп, ал қалған бөлігі (бірінші элементтен басқа) тізім соңы деп аталады. Атом деп Лисп тілінің екі шектеуіштерінің ортасында орналасқан сандар мен әріптердің кез-келген тізбегі аталады. Литерлік атом әрқашан символ деп аталады. Лисп тілінде АҚИҚАТ және ЖАЛҒАН түсінктерінің ролін атқаратын екі стандартты атом Т және NIL анықталған. Нақты айтқанда Лиспте сандар да атом болып табылады. Тізім мысалы: (А(В(С))). Бұл тізім екі элементтен тұрады: А атомынан және (В(С) тізімінен, ол өз кезегінде В атомы және (С) тізімінен тұрады. Бос тізім бұл бір де бір элементі жоқ тізім. Ол () белгісімен немесе NIL атомымен белгіленеді. Лиспте бос тізім атомдарға жатады.

1. 
   Егер S-өрнек сан немесе Т немесе NIL атом болса, онда EVAL функциясы бұл S-өрнекті өзгеріссіз қайтарады.
   
2. 
   Егер S-өрнек литерлік атом болса, онда EVAL функциясы осы атомға тағайындалған соңғы мәнді қайтарады, қарсы жағдайда қате жөнінде хабар шығады.
   
3. 
   Егер S-өрнек (f arg1 arg2 … argN) түріндегі тізім болса, онда EVAL функциясы оны келесі түрде түсіндіруге тырысады: тізімнің бірінші элементі аргументтері ретінде қалған элементтері arg1, arg2, …,argN алынып орындалуға тиіс функцияның аты ретінде түсіндіріледі. Жетістікті жағдайда EVAL функциясы f функциясының орындалуының нәтижесі болатын S-өрнек қайтарады.
   

• 
  ‘(+ 2 3)
  

• 
  (+ 2 3)
  

• 
  (CAR ‘((1 2) 3))
  

• 
  (CDR ‘((1 2) 3))
  

• 
  (CDR ‘A)
  

• 
  (CAR(CDR ‘(1 2 3 4)))
  

• 
  (CADR ‘(1 2 3 4))
  

• 
  (CONS ‘A ‘(B C))
  

• 
  (CONS ‘(A B) ‘(C D))
  

• 
  (ATOM ‘X)
  

• 
  (EQ (CAR ‘(A A))(CAR ‘(A B C D)))
  

• 
  (EQUAL ‘(X Y Z) ‘(X Y Z))
  

1. 
   АҚИҚАТ деп түсіндірілетін мәні NIL-ден өзгеше өрнек кездескенге дейін pi өрнектерінің мәндері солдан оңға қарай кезектестіре есептелінеді.
   
2. 
   Осы предикатқа сәйкес нәтижелеуші өрнек есептелінеді және алынған мән COND функциясының мәні ретінде қайтарылады.
   
3. 
   Егер ақиқат предикат жоқ болса, COND функциясының мәні NIL болады.