Faciliten la realización de ciertos tipos de deducción automática dexando tamién la creación d'una base de fechos (llugar onde se recueyen los datos iniciales del problema a resolver y les resultancies entemedies una vegada llograos).