PROLOG
= "PROgrammieren in LOGik(-Notation)"

BEISPIEL
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 !
impressum:
***********************************************************************
© C.HAMANN         http://public.BHT-Berlin.de/hamann          02/29/24