Offline / Online Ausführung

Der für ConGOLOG verwendete Interpreter arbeitet offline, d.h. es muß eine vollständige Sequenz legaler Aktionen gefunden werden, bevor die erste Aktion ausgeführt werden kann. Dies kann bei langen Programmen zu Problemen führen. Als Beispiel sei an dieser Stelle ein Programm mit nichtdeterministischer Auswahl zwischen und beschrieben:

$$(a\vert b);\delta ;\phi ?.$$

Es folgt ein beliebiges Programm und eine Testaktion . Bevor eine der Aktionen oder ausgeführt werden kann, muß der Interpreter alle Möglichkeiten von betrachten und bestimmen, welche der beiden Aktionen eventuell wahr macht. Um diesen Nachteil einzuschränken, aber trotzdem Nichtdeterminismus zuzulassen, muß eine Art lokale Bedingung eingeführt werden. Ein einfaches Einfügen einer solchen Bedingung

$$(a\vert b);\rho ?;\delta ;\phi ?$$

reicht nicht aus, da der Interpreter immer noch nicht in der Lage ist, oder auszuführen, selbst wenn erfüllt ist. Aus diesen Gründen wird die Verarbeitungsart auf eine online Ausführung umgestellt, damit entweder oder direkt ausgeführt werden kann und erst danach mit fortgefahren wird. Um dieses zu ermöglichen, wird der sogenannte Search-Operator eingeführt. , wobei ein beliebiges Programm ist, kann dann als offline Betrachtung von angesehen werden, bei der nach einem gültigen Zustand gesucht wird. Obiges Problem kann damit folgendermaßen beschrieben werden:

$$\Sigma \{\, (a\vert b);\rho ?\, \}\, ;\, \delta \, ;\, \phi ?.$$

Der Interpreter würde zunächst nach einem oder suchen, welches erfüllt, dieses sofort ausführen und dann mit dem Restprogramm fortfahren. Eine bisherige offline Betrachtung für ein könnte durch simuliert werden. Die Umsetzung erfolgt mit Hilfe von und :

$$\begin{array}{cccc} Trans(\Sigma \delta ,s,\delta ',s') & \e... ... \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, & \end{array}$$