Sumários

Aula 5

28 março 2019, 12:30 • Ernesto José Marques Morgado

Exercícios sobre programação em lógica: resolução SLD, árvores SLD.

Capítulo 7: PROLOG

28 março 2019, 11:30 • Joao Pavao Martins

Aritmética em Prolog (7.7). Listas (7.10).

Aula 5

28 março 2019, 11:00 • Ernesto José Marques Morgado

Exercícios sobre programação em lógica: resolução SLD, árvores SLD.

Cap. 7 PROLOG

28 março 2019, 09:30 • Maria dos Remédios Vaz Pereira Lopes Cravo

Listas.

Aula 5

28 março 2019, 08:30 • Ernesto José Marques Morgado

Exercícios sobre programação em lógica: resolução SLD, árvores SLD.