El lenguaje Prolog

• un programa es una secuencia de sentencias (con conjunción implícita)
• sólo cláusulas Horn: sentencias atómicas o implicaciones con antecedentes (body) no negados y un consecuente (head) atómico
• términos: constantes, variables y funciones
• negación por fallo: not P se considera probado si no se puede probar P
• todos los términos sintácticamente distintos se refieren a objetos distintos
• predicados del sistema para aritmética, e/s, funciones de KB, etc.