The following pages link to (Q4010351):
Displaying 5 items.
- A declarative approach for first-order built-in's of Prolog (Q1328181) (← links)
- A mathematical definition of full Prolog (Q1899138) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- A logical operational semantics of full Prolog. II: Built-in predicates for database manipulations (Q3976026) (← links)
- A logical operational semantics of full Prolog. History of ideas (Q3976572) (← links)