ϵ">]>
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] Syntax. Examples:
Atomic formulas: , .
Propositional connectives: , , , , , , .
Bounded quantification: , , , .
Notational conventions: , , , , .
Remark. Bounded quantifiers have greater precedence than propositional connectives. For instance, following formulas are different