Un lenguaje nonprocedural que permite al usuario para declarar un conjunto de hechos y para expresar las consultas o problemas que utilizan estos hechos.