Higher-order programming examples

Higher-order programming examples

Higher-order programming:

funs.mod: simple predicates apply functional expressions.
maps.mod: some classical mapping operations of functional programming lifted to this predicate setting.
rels.mod: simple relational programming examples.