PROLOG
Semântica
- Suas entradas e saídas são:
- entrada: um programa e uma lista de objetivos;
- saída: um indicador de sucesso/falha e instanciações de variáveis.
- O significado dos resultados de saída do executor é o seguinte:
- O indicador de sucesso/falha tem o valor "sim" se os objetivos forem todos satisfeitos e "não" em caso contrário;
- As instanciações são produzidas somente no caso de conclusão bem-sucedida e correspondem aos valores das variáveis que satisfazem os objetivos.