2003. A SEMANTICS OF LOGIC PROGRAMS WITH PARAMETERS. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 95, (Dec. 2003), 15–39.