A Matching Tree Oriented Abstract Machine for Prolog.

Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima

Browse the full ICLP paper archive.