ϵ">]>
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 propositional formulas. Example(s):
[CL] Formatting the output. Use the format to display numbers as propositional formulas. Try out the following simple queries
581312 = t:Form
3,4,(0,1),0,2 = t:Form
Use the format to display numbers as lists of propositional formulas.
Tautology checker for atomic propositional sequents. Define the predicate such that
Hint. The definition is based on the following property