Integrating data bases & Prolog