PROLOG
Programas Prolog podem ser ampliados pela simples adição de novas cláusulas;
As cláusulas Prolog podem ser de três tipos distintos: fatos, regras e consultas;
Os fatos declaram coisas que são incondicionalmente verdadeiras;
As regras declaram coisas que podem ser ou não verdadeiras, dependendo da satisfação das condições dadas;
Por meio de consultas podemos interrogar o programa acerca de que coisas são verdadeiras;