Pages that link to "Item:Q3768369"
From MaRDI portal
The following pages link to Operational and denotational semantics of prolog (Q3768369):
Displayed 7 items.
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- A logical semantics for depth-first Prolog with ground negation (Q1390936) (← links)
- Axiomatizations of backtracking (Q5096771) (← links)
- PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION (Q5249252) (← links)