ϵ">]>
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.
Fibonacci sequence. Specification of the function computing the -th element of the Fibonacci sequence:
Find a course of values recursive definition of .
Integer division. Specification of the integer division function :
Find a course of values recursive definition of .
Remainder. Specification of the remainder function :
Find a course of values recursive definition of .