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.
DIT-ETSIT-UPM