Pages that link to "Item:Q1818324"
From MaRDI portal
The following pages link to Towards a logical semantics for pure Prolog (Q1818324):
Displaying 16 items.
- An alternative linear semantics for allowed logic programs (Q676306) (← links)
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- Declarative modeling of the operational behavior of logic languages (Q913530) (← 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)
- Oracle semantics for Prolog (Q2508326) (← links)
- Defining standard Prolog in rewriting logic (Q2703696) (← links)
- Truth versus information in logic programming (Q2933087) (← links)
- A structured alternative to Prolog with simple compositional semantics (Q3087448) (← links)
- (Q3212266) (← links)
- N-Prolog: An extension of Prolog with hypothetical implications. I. (Q3696485) (← links)
- Sémantique logique et dénotationnelle des interpréteurs PROLOG (Q3798220) (← links)
- (Q4010351) (← links)
- (Q4531974) (← links)
- (Q4725709) (← links)
- On the declarative and procedural semantics of definite metalogic programs (Q4885624) (← links)