Auflistung nach Autor:in "Spenke, Michael"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragPERPLEX: Logisches Programmieren an Hand von Beispielen(Software-Ergonomie '89: Aufgabenorientierte Systemgestaltung und Funktionalität, 1989) Spenke, Michael; Beilken, ChristianEs wird PERPLEX vorgestellt, eine Programmierumgebung für Endbenutzer. PERPLEX vereint die Konzepte der logischen Programmierung mit der interaktiven Benutzerschnittstelle von Tabellenkalkulationsprogrammen. Auf diese Weise wird einerseits eine interaktive, inkrementelle Form der logischen Programmierung ermöglicht und andererseits Funktionalität und Anwendungsbereich eines herkömmlichen Tabellenkalkulationsprogramms beachtlich erweitert. Berechnungen und Anfragen werden durch Constraints über mehreren Felder formuliert. Neue Prädikate werden durch Vorrechnen von Beispielen definiert, aus denen Regeln abgeleitet werden. Dadurch übernehmen konkrete Zwischenergebnisse die Rolle von abstrakten logischen Variablen. PERPLEX wurde im Rahmen des Verbund-Projektes WISDOM entwickelt und ist auf einer Symbolics Lisp Maschine verfügbar.