Uma linguagem procedural que permite que o usuário declare um conjunto de fatos e expressar consultas ou problemas que usam esses fatos.