Cláusulas de Horn

Las cláusulas de Horn (instrucciones ejecutables de PROLOG) tienen el siguiente aspecto:

    hija (*A, *B) <- mujer (*A), padre (*B, *A). 

que podría leerse así: "A es hija de B si A es mujer y B es padre de A".

Obsérvese que, en PROLOG, el símbolo <- separa la conclusión de las condiciones. En PROLOG, las variables se escriben comenzando con un asterisco. Todas las condiciones deben cumplirse simultáneamente para que la conclusión sea válida. Por tanto, la coma que separa las distintas condiciones es equivalente a la conjunción copulativa (en algunas versiones de PROLOG se sustituye la coma por el símbolo &). La disyunción, en cambio, no se representa mediante símbolos especiales, sino definiendo reglas nuevas, como la siguiente:

    hija (*A, *B) <- mujer (*A), madre (*B, *A).

que podría leerse así: "A es hija de B si A es mujer y B es madre de A".