2000. A semantics of logic programs without searching. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 92, (Dec. 2000), 31–48.