Knowledge systems and prolog. - Walker, Adrian