La sintaxis de una cláusula de Horn en PROLOG tiene el siguiente aspecto: