Apt K., Smaus J. Rule-based versus procedure-based view of logic programming // Computer Science. — 2001. — # 16 — P. 79-101