Juan Pablo Romero Mares

• Focal structures and information types in Prolog