Prolog Programs and Standard Data Bases. - Andrea Caloini; S. Mainetti; Paolo Paolini (FODO, 1989)