functional-logic language with constraints
scientific article; zbMATH DE number 759440