Sumários

Prolog - complementos

16 Novembro 2017, 12:00 • João Balsa da Silva

Complementos sobre Prolog. Guião

CSP

13 Novembro 2017, 09:30 • João Balsa da Silva

  • Resolução de restrições
  • Russel&Norvig (cap 6)

Prolog

10 Novembro 2017, 11:30 • João Balsa da Silva

Introdução ao Prolog

LPO - resolução

10 Novembro 2017, 09:30 • João Balsa da Silva

Resolução em lógica de primeira ordem; Resolução SLD; Utilização no Prolog

Prolog

9 Novembro 2017, 12:00 • João Balsa da Silva

Introdução ao Prolog