ϵ">]>
7. CVIČENIE Z PREDMETU ÚVOD DO DEKLARATÍVNEHO PROGRAMOVANIA
ČASŤ C
http://ii.fmph.uniba.sk/cl/courses/1-AIN-505-udp/1011ls/ex/ex07.zip
Dátum: streda 30. 3. 2011
Odporúčaná verzia CL: 5.81.19
WWW stránka predmetu: http://dai.fmph.uniba.sk/courses/udp/
Kontakt: udp(zavináč)lists.dai.fmph.uniba.sk
Úvodná poznámka. Toto cvičenie je venované tuplingu (ex07a), simulácii cyklov (ex07b) a predikátom na zoznamoch (ex07c).
Literatúra.
[1] J. Kľuka. Prednášky z Úvodu do deklaratívneho programovania LS 2010/2011.
[2] D. Guller. Poznámky k prednáškam z CL.
[3] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.
Úloha. Naprogramujte predikát , ktorý platí práve vtedy, keď je prvkom zoznamu .
Napríklad
Špecifikácia:
Úloha. Naprogramujte predikát , ktorý platí práve vtedy, keď je prefixom (súvislým začiatočným úsekom) zoznamu .
Napríklad
Špecifikácia:
Úloha. Naprogramujte predikát , ktorý platí práve vtedy, keď je suffixom (súvislým koncovým úsekom) zoznamu .
Napríklad
Špecifikácia: