Baleva, V. A Semantics of Logic Programs Without Searching. Ann. Sofia Univ. Fac. Math. and Inf. 2000, 92, 31-48.