ϵ">]>
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 the constructors of numeric terms. Example(s):
[CL] Formatting the output. Use the format to display numbers as numeric terms. Try out the following simple queries
98041654 = t:Term
3,(2,(0,1),1,2),0,3 = t:Term