Searching for "Denotational and Operational Semantics for Prolog." – sorted by Relevance.
-
Denotational and operational semantics for prolog
- Denotational and Operational Semantics for Prolog† Saumya K. Debray Department of Computer Science
- Cited by 49 (3 self) – Add To MetaCart
-
Continuation Semantics for Prolog with Cut
- , the equivalence of this denotational semantics and an operational semantics for Prolog is a straightforward
- Cited by 25 (5 self) – Add To MetaCart
-
Continuation Semantics for Prolog with Cut
- , the equivalence of this denotational semantics and an operational semantics for Prolog is a straightforward
- Add To MetaCart
-
Quality Measures and Assurance for AI Software
- . [56] Saumya K. Debray and Prateek Mishra. Denotational and operation semantics for Prolog. Journal
- Cited by 4 (1 self) – Add To MetaCart

