Baleva, V. 2000. A semantics of logic programs without searching. Ann. Sofia Univ. Fac. Math. and Inf. 92, (Dec. 2000), 31–48.