ϵ">]>
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.
Generating permutations. Define the function such that
Hint. First define auxiliary functions and such that
Generating list partitions. Define the function such that
Hint. First define auxiliary functions and such that
******************************************************************************
********************************* DEBUGGING **********************************
******************************************************************************
[CL] Formatting the output. Use the predicate as a format to display numbers as lists of strings. Try out next queries
(97,98,99,100,0),(101,102,103,0),(104,105,0),0 = x:Ls
and
Suffixes('abcd') = x:Ls
Simlarly you can use the predicate as a format to display numbers as lists of lists of strings. Try out query
Concps('abcd') = x:Lss