Prolog+CG ist eine Implementation von Prolog mit Erweiterungen zur Unterstützung der Conceptual-Graph-Theorie von John Sowa und mit objektorientierten Erweiterungen. CGs sind erstrangige Datenobjekte und daher vollständig in die Sprache integriert. Prolog+CG kann für Wissens-Repräsentation verwendet werden, für logische Schlüsse über Bedeutung, formale narratologische Analyse und anderes mehr. (hjb)