London : Logic Programming Associates,