R. Paterson-Jones and P. T. v. Wood. Extending the WAM to implement HiLog. Unpublished Manuscript (also see Poster Abstract in Proceedings of ILPS-93, page 654), 1993. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Efficient Execution of HiLog in WAM-based Prolog implementations - Sagonas, Warren (1995) (4 citations) (Correct)
....predicate calculus, and investigate alternative ways of implementing HiLog. The Glue Nail system from Stanford [6] implements a subset of HiLog by an expensive adaptive optimisation technique that optimises queries to HiLog predicates at run time. An ongoing effort from the University of Cape Town [14] proposes a WAM extension to implement HiLog. The basic proposed change is in the cell representation of structures; the functor position of a structure is stored as a normal cell, as opposed to the WAM, where it is stored as a special functor cell. Also, the arity must be stored separately in an ....
R. Paterson-Jones and P. T. v. Wood. Extending the WAM to implement HiLog. Unpublished Manuscript (also see Poster Abstract in Proceedings of ILPS-93, page 654), 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC