Contrato de Aprendizagem

V. Recursos

Recursos computacionais

• SWI-Prolog, http://www.swi-prolog.org

Páginas Web

• Patrick Blackburn, Johan Bos, Kristina Striegnitz. Learn Prolog Now! (2006, 2007)
• Amzi, Inc. Adventure in Prolog (2004)
• Jan Wielemaker. SWI-Prolog 5.6.56 Reference Manual (2008)
• Paul Brna. Prolog Programming: A First Course (1988)

Bibliografia

• Leon Sterling & Ehud Shapiro. The Art of Prolog: Advanced Programming Techniques, 2nd edition, MIT Press, 1994.
• D.F.M. Torres, Introdução à Programação em Lógica (2000), Universidade de Aveiro