PLM beinhaltet Grundoperationen zur Ausführung von PROLOG-Programmen: Klauselindexierung, Erzeugen/Löschen von environments und choice points sowie Operationen für cut, Trailing und Unifikation. Rechnergesteuertes System zur Pesonalisierung von Karten. (Quelle: Schneider: Lexikon Informatik)
Der occur check ist bei auf Unifikation basierender Resolution (Resolventenprinzip) erforderlich. (Quelle: Schneider: Lexikon Informatik)
Der occur check bewirkt bei Versuch des Erzeugens einer zyklischen Struktur / eines unendlichen Terms das Mißlingen der Unifikation. (Quelle: Schneider: Lexikon Informatik)
，规
DE-DE
Sätze
DE-CN
EN-CN
Bilder
Google
Wiki
