Usaremos muito o livro, ou sua tradução parcial na apostila (Ap.)
Usaremos também um interpretador para ver na prática como as coisas funcionam.
Um programa em Prolog consiste na descrição de um mundo próprio. Um universo paralelo. Prolog permite analisar as conclusões que podem ser tiradas desta descrição. (Ap. 1.2)
Fatos são afirmações incondicionais sobre o mundo. (Ap. 1.3)
Perguntas permitem entender o mundo criado. (Ap. 1.4)
Variáveis e conjunções aumentam nossa capacidade de perguntr. (Ap. 1.5 e 1.6)
Regras são afirmações sobre o mundo condicionadas a outros fatos e regras. Uma regra pode valer por mil fatos! (Ap. 1.7)
Nenhum comentário:
Postar um comentário