ϵ">]>
Literature.
[1] J. Komara. Declarative Programming. Downloadable lecture notes available through the web page of the course.
[2] J. Kľuka. Lecture Notes from Introduction to Declarative Programming.
[3] J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001.
[CL] Discrimination on dyadic patterns. Example(s):
[CL] Discrimination on dyadic constructor patterns. Example(s):
[CL] Formatting the output. Use the format to display numbers in dyadic representation. For instance, the result of the query is shown as the dyadic numeral . Note that the predicate is defined in the module Standard.
Complement. Define the function which yields the complement of the dyadic string . For instance
Last element. Define the function which yields the last element of the non-empty dyadic string . For instance