Ferrante Formato Giangiacomo Gerla Maria I. Sessa Extension of Logic Programming by Similarity. 397-410 1999 conf/agp/1999 APPIA-GULP-PRODE db/conf/agp/agp1999.html#FormatoGS99