Das System MGL (Modelacao Grafica em Logica) wurde entwickelt, um mit Hilfe logischer Programmierung komplexe graphische Objekte zu modellieren und zu bearbeiten. Basiskonzept der Modellierung von Graphik in MGL ist die Zusammenfassung von graphischen Objekten zu Familien mit einem einheitlichen Modell. Es werden nur Informationen ünber Die Modelle der Familien dargestellt (Attribute, Zusammensetzung aus Objekten weniger komplexer Familien) . Informationen über die Existenz und Eigenschaften von graphischen Objekten werden daraus abgeleitet. Die Namen der Familien sind für den Entwerfer eines Modells frei wählbar. Mnemonische Bezeichner sind genauso möglich wie Zahlen oder willkürliche Zeichenkombinationen. Die einzige Einschränkung ist, daß verschiedene Familien verschiedene Namen haben müssen, da alle Verweise über den Familiennamen realisiert sind. In einer Implementierung des Systems in Prolog entspricht ein Familienname syntaktisch einem Term. Prospero verweist auf die Möglichkeit der Bildung von Prototypen von Familien durch die Verwendung von Ausdrücken mit freien Variablen als Namen in Deklarationen. In dieser Arbeit sollen Möglichkeiten, Vorteile und Problematik der Benutzung von parametrisierten Familiennamen d.h. Ausdrücken mit freien und/oder festen Parametern diskutiert werden.
