ELP '93 (4th 1993 St. Andrews, U.K.)

• Extensions of logic programming