Ich habe ein paar Experimente mit den Tabling-Fähigkeiten von b-prolog Version 8.1 und war ziemlich überrascht von der Leistung, die ich beobachtet habe. Hier ist der Code, den ich verwendet habe. Es
Ich habe ein kleines Problem mit der linken Rekursion in dieser Grammatik. Ich versuche es in Prolog zu schreiben, aber ich weiß nicht, wie ich die linke Rekursion entfernen kann. <expression> -> <sim