|
|
H.--J. Bürckert (1986): Lazy Theory Unification in Prolog: An Extension of the Warren Abstract Machine
| Title: |
Lazy Theory Unification in Prolog: An Extension of the Warren Abstract Machine |
| Author(s): |
H.--J. Bürckert |
| Year: |
1986 |
| Booktitle: |
German Workshop on Artificial Intelligence GWAI--86 und 2.\ Österreichische AI--Tagung |
| Editor(s): |
Claus--Rainer Rollinger and Werner Horn |
| Number: |
124 |
| Pages: |
277-288 Warren Abstrct Machine |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
