Eine durchsuchbare Prolog-Sprachbeschreibung online [geschlossen]

Gibt es eine Beschreibung der Prolog-Sprache (Syntax und Semantik), die online verfügbar ist?

Es gibt viele Referenzhandbücher für Implementierungen. Aber keines davon ist eine Sprachbeschreibung. Zum Beispiel das SWI Prolog HandbuchZustände

Dieses Handbuch beschreibt nicht die vollständige Syntax und Semantik von Prolog.

Undverweist zu einer Reihe von Büchern auf Papier gedruckt, in den achtziger Jahren veröffentlicht. Und ISO-Standard, der für Geld ist und "vom ISO-Vertreter meines Landes erhältlich sein sollte" Kauderwelsch.

Antworten auf die Frage(2)

Ihre Antwort auf die Frage