Maschinen für Prolog

(Diese Bilder stammen aus dem Jahre 1990, seitdem hat sich einiges getan! Um einiges aktueller sind die folgenden Folien aus dem Jahre 1993.)

Geschichte der Prologmaschinen (bis 1989) (Über den genauen Ursprung siehe The birth of Prolog, ein Vortrag von Alain Colmerauer und Philippe Roussel.)

Realisierung von Prolog

Flugplan,Flugplanabfrage, Suchbaum und seine Darstellung, gesamter Suchbaum.

Unifikation in der WAM und in der VAM

So führen die Maschinen Programme aus:

  1. :- ..., direktflug(wien, Ziel), ...
    VAM und WAM
  2. :- ..., flug(wien, london, [Zw]), ...
    
    flug(Von, Nach, [Zwischen|Weitere]) :-
    	...
    
    VAM und WAM

Die folgenden Einzelbilder enthalten jeden Schritt extra, falls obige Bilder unlesbar:

  1. VAM: 1 2 3 und WAM: 1 2 3 4
  2. VAM: 1 2 3 4 und WAM: 1 2 3 4