Knowledge Systems and Prolog Developing Expert, Database, and Natural Language Systems (Addison - Wesley Pub. Co., 1990)