Searching for "A Matching Tree Oriented Abstract Machine for Prolog." – sorted by Relevance.
-
Demand-driven Indexing of Prolog Clauses
- selection tree [9] and by Zhou et al. who implemented a matching tree oriented abstract machine for Prolog
- Cited by 2 (1 self) – Add To MetaCart

