I S – PRO4@Projekte@illutions

Illner Solutions

Programmiersprache PRO4

– die vierwertige logische Programmiersprache –

PRO4 entstand aus der IS-Theorie zum automatischen Schließen. Sie bildet eine Spracherweiterung für Prolog.

Der Gag von PRO4 ist das Schließen mit vierwertiger Logik bei der Verarbeitung von logischem Wissen.

1 Übersicht zu PRO4

2 Was schon geht ...

3 Beschreibung von PRO4

4 Entwicklung (intern)