Metadata
Author: springer
Data
German[de]
Eine logikorientierte Programmiersprache generiert zulässige Lösungen eines Constraint-Satisfaction-Problems, dessen Beschreibung auf einer Menge logischer Aussagen und einer Anzahl von Nebenbedingungen basiert.
English[en]
The idea is to provide a logic programming language that accepts a series of logic statements and (arithmetic) constraints and then is capable to generate a feasible solution to the underlying constraint satisfaction problem.