[PROLOG] Arithmetische Ausdrücke als Grammatik einlesen

PaddyG

Hallo,

habe da ein Problem mit folgender Aufgabenstellung, folgende Grammatik soll in Prolog programmiert werden:

Folgendes habe ich schon geschrieben:

Code

%faktor1
  faktor1(a).
  faktor1(b).
  faktor1(c).


%ausdruck(X)
  ausdruck(X):-
    term(X).
  ausdruck(X):-
    X=.. ['+'|Rest1],
    Rest1=[Term|Ausdruck],
    term(Term),
    ausdruck(Ausdruck).
  ausdruck(X):-
    X=.. ['-'|Rest1],
    Rest1=[Term|Ausdruck],
    term(Term),
    ausdruck(Ausdruck).


%term(X)
  term(X):-
    faktor(X).
  term(X):-
    X=.. ['*'|Rest1],
    Rest1=[Faktor|Term],
    faktor(Faktor),
    term(Term).
  term(X):-
    X=.. ['/'|Rest1],
    Rest1=[Faktor|Term],
    faktor(Faktor),
    term(Term).

%faktor(X)
  faktor(X):-
    faktor1(X).
  faktor(X):-
    ausdruck(X).

Alles anzeigen

Beim Testen mit:

ausdruck(a*(b-c)).

meldet er: Out of local stack.

Ich muss also einen Rekursionsabbruch einbauen und die Rekursion terminieren, oder?
Ich komm leider nicht drauf, an welcher Stelle ich den einbauen muss...hab schon alles mögliche probiert.

Danke im Voraus
PaddyG

The User

Das liegt daran:
ausdruck(X) :- term(X).
Dann geht er zu:
term(X) :- faktor(X).
Dann:
faktor(X) :- ausdruck(X).
- und wir landen wieder am Anfang!
Du kannst es einmal hiermit probieren:

Code

faktor(X) :- ausdruck(X), !.

(! ist immer das Allheilmittel bei so Endlosschleifen, das dann doch nicht alles heilt. Aber probieren geht über s tudieren!)
Ansonsten versuch das Programm so umzustrukturieren, dass die Rekursion nicht mit der unverkürzten, sondern immer mit eine verkürzten Liste stattfindet, dann wird er zum Ender kommen, wenn die Liste leer ist, garantiert.
Du hast ja auch einen Rekursionsabbruch, mit term(X) :- faktor(X).
Der tritt nur nicht ein, da er immer wieder mit der selben Liste aufgerufen wird.
Wenn es mit dem ! erst nicht funktioniert, dann such mal eine andere Endlosschleife, wo immer wieder das selbe aufgerufen wird.

Viele liebe Grüße
The User

Tags