Pages that link to "Item:Q920622"
From MaRDI portal
The following pages link to Comparative semantics for prolog with cut (Q920622):
Displaying 10 items.
- Proving completeness of logic programs with the cut (Q511027) (← links)
- Two congruent semantics for Prolog with CUT (Q805227) (← 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)
- From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic (Q1194328) (← links)
- Oracle semantics for Prolog (Q2508326) (← links)
- Operational and denotational semantics of prolog (Q3768369) (← links)
- A comparison of three PROLOG extensions (Q3992235) (← links)
- Internal and Interval Semantics for CP-Comparatives (Q4933254) (← links)