Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming

Dageförde, Jan C.; Kuchen, Herbert

Abstract

Die Münster Logic-Imperative Sprache (Muli) ist eine restriktive, objektorientierte Programmiersprache, die sich für die Entwicklung von Anwendungen eignet, die die straffenlogische Suche mit deterministischer, zwingender Ausführung verbinden. Zum Beispiel kann Muli Graphstrukturen von neuronalen Netzen mittels nicht-deterministischer Suche erzeugen, die mit der sofortigen Auswertung jedes generierten Netzwerks in Bezug auf seine Fitness miteinander verbunden sind. Darüber hinaus kann es für Lösungen für Planungsprobleme genutzt werden. In diesem Papier erklären und zeigen wir, wie diese Anwendungsprobleme mit Muli gelöst werden.