A logical operational semantics of full Prolog: Part 2. Built-in predicates for database manipulations (1990)

by E Borger
Venue:In: MFCS '90 (Ed. B.Rovan, Springer LNCS 452