Las variables nos permiten almacenar y cambiar valores dinámicamente. Pueden usarse en el antecedente de una regla para hacer coincidir hechos y en el consecuente para imprimir o asertar valores. También pueden almacenar la dirección de un hecho. Las variables comodín coinciden con hechos que tengan una o más partes adicionales a la buscada. Las reglas se analizan sintáctica y lógicamente y se colocan en una cola para su ejecución, de modo que la última regla activada es