Ich hab ein Problem mit Prolog.
Ich hab eine Knowledge Base mit Fakten fact(irgendwas). Und ich habe regeln rule(L1,L2). wobei L1 true sein muss damit L2 true sein muss.
Nun sollen wir jedoch eine Methode(?) eher eine Rückschluss Maschine definieren (Inference Engine) die quasi rekursiv probleme löst.
Nur acker ich tutorials durch und kappiere nicht, was damit gemeint ist.
Ich mein ich verstehe schon X :- Y, Z usw, aber wie kann ich eine Methode
teste(x) generieren die yes oder no liefert? Ich muss ja quasi alles schachteln
Wie sieht teste(x) dann aus?
Sowas wie teste(x) :- A,B usw?