The following pages link to Oracle semantics for Prolog (Q2508326):
Displaying 4 items.
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Semantic representations and query languages for or-sets (Q1915510) (← links)
- A logical operational semantics of full Prolog. II: Built-in predicates for database manipulations (Q3976026) (← links)