Uma linguagem procedural que permite que o usuário para indicar um conjunto de regras e para expressar consultas ou problemas que usam essas regras.