iso-prolog

Im ersten Teil des ISO-Standards für Prolog, ISO / IEC 13211-1: 1995, wird der Begriff "Typ" für verschiedene Dinge verwendet. Dies führt oft zu Verwirrung. Zum Beispiel eine Seite namens IsoErrata ( archivierte Version , < a href="http://eclips...

In den Grammatikregeln ( dcg ) gibt es mehrere vordefinierte Konstrukte: (',')//2 bedeutet Verkettung, ('|')//2 bedeutet Alternation usw. Ein Konstrukt, das von mehreren, aber nicht allen Prolog-Systemen unterstützt wird, ist (\+)//1 ....