Pages that link to "Item:Q3976572"
From MaRDI portal
The following pages link to A logical operational semantics of full Prolog. History of ideas (Q3976572):
Displaying 10 items.
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- A declarative approach for first-order built-in's of Prolog (Q1328181) (← links)
- A logical semantics for depth-first Prolog with ground negation (Q1390936) (← links)
- A mathematical definition of full Prolog (Q1899138) (← links)
- Defining standard Prolog in rewriting logic (Q2703696) (← links)
- Operational and denotational semantics of prolog (Q3768369) (← links)
- Sémantique logique et dénotationnelle des interpréteurs PROLOG (Q3798220) (← links)
- A logical operational semantics of full Prolog. II: Built-in predicates for database manipulations (Q3976026) (← links)
- (Q4010351) (← links)
- Axiomatizations of backtracking (Q5096771) (← links)