![atras](izda.png)
![adelante (solo si previamente se ha ido
atras)](dcha.png)
A.1.6. Consultas
Una consulta se escribe como un predicado o como una conjunción de
predicados. Si la consulta no contiene variables entonces la máquina responde
«YES»
o «NO»
según que el predicado o la conjunción sean verdaderos o no. Si contiene variables,
responde con el valor o los valores para los cuales se hace verdadero.
![atras](izda.png)
DIT-ETSIT-UPM