Searching for "An Interpreting Algorithm for Prolog Programs." – sorted by Relevance.
-
Compositional operational semantics for Prolog programs
- implementation. In [13] an interpreting algorithm for Prolog programs was based on SLD-tree traversal. The work
- Add To MetaCart

