Pages that link to "Item:Q3768369"
From MaRDI portal
The following pages link to Operational and denotational semantics of prolog (Q3768369):
Displaying 10 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)
- Simple operational and denotational semantics for Prolog with cut (Q912643) (← 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)
- (Q4010351) (← links)
- (Q4874575) (← links)
- Axiomatizations of backtracking (Q5096771) (← links)
- PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION (Q5249252) (← links)