PROLOG
= "PROgrammieren in LOGik(-Notation)"
PROLOG ist eine Anwendung der PrädikatenLogik
PROLOG ist eine "Deklarative ProgrammierSprache", d.h.
Es wird das PROBLEM beschrieben ( Aussagen + Regeln ) ...
... und dann hat PROLOG die Lösung zu finden !!
BEISPIEL = REISE-PUZZLE
Prämissen p1 ... p5 formuliert mit Logik-Operatoren ...
( v ) "oder" ( ^ ) "und" ( ~ ) "nicht" ( -> ) "wenn ... dann" ( <-> ) "gleich" ( \= ) "ungleich"
Umgeschrieben in "Basis-Operatoren" ...
In PROLOG ... ( wobei /*--- Kommentare ---*/ sind )
ERGEBNIS = Ausgabe ...
... 2 mögliche Lösungen !
NACHTRAG: Lösung mit Karnaugh-Veitch-Diagrammen ...
impressum: *********************************************************************** © C.HAMANN http://public.BHT-Berlin.de/hamann 03/10/24