Prolog

Uma linguagem de programação lógica associada à inteligência artificial e linguística computacional. Em vez de especificar uma sequência de passos, o programador define fatos e regras, e o sistema Prolog usa lógica para encontrar soluções.