| This course treats the declarative cores of functional and logic programming in the integrated manner of functional-logic programming. Applications include Semantic Web programs over metadata as well as Web Services that provide logic inferences and/or functional transformations over XML data. All theoretical notions are accompanied by practical demonstrations using the didactic functional-logic language Relfun. |
