Mayoh, B. H. The Meaning of Logical Programs. DPB 1980, 9.