Modelling the combination of functional and logic programming languages - Furbach, Ulrich 1948-; Hölldobler, Steffen 1957-2023 (Bericht, 1985)