Skip to main content Skip to main navigation

Publikation

Lazy Theory Unification in PROLOG: An Extension of the Warren Abstract Machine

Hans-Jürgen Bürckert
In: Claus-Rainer Rollinger; Werner Horn (Hrsg.). Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische Artificial-Intelligence-Tagung. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria, Pages 277-288, Informatik-Fachberichte, Vol. 124, Springer, 1986.