Pages that link to "Item:Q912643"
From MaRDI portal
The following pages link to Simple operational and denotational semantics for Prolog with cut (Q912643):
Displaying 5 items.
- Proving completeness of logic programs with the cut (Q511027) (← links)
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- An operational formal definition of PROLOG: A specification method and its application (Q1186100) (← links)
- A denotational semantics and dataflow construction for logic programs (Q1318723) (← links)
- A logical semantics for depth-first Prolog with ground negation (Q1390936) (← links)
