Sumários

2 Março 2026, 11:00 • Sancho Moura Oliveira

Apresentação inicial da linguagem Prolog

Exemplos de representação

Interpretadores Prolog

Exemplos de sistemas

27 Fevereiro 2026, 21:00 • Filipa Ribeiro Sá da Costa

Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).

27 Fevereiro 2026, 18:00 • Sofia Silva

Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).

27 Fevereiro 2026, 11:00 • Filipa Ribeiro Sá da Costa

Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).

27 Fevereiro 2026, 09:30 • Filipa Ribeiro Sá da Costa

Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).