• Przedstawienie najważniejszych elementów programowania w Prologu.
• Adresatami są głównie studenci kierunków informatycznych.
• Laboratorium jest realizowane w 2 częściach: 6 zajęć na najważniejsze tematy + 4-6 zajęć na tematy fakultatywne

— Grzegorz J. Nalepa 2008/11/03 12:24

1. lab 1-6 © 2005-2009 by Grzegorz J. Nalepa
2. poprawki, uwagi, rozszerzenia, wstępna wiki-fikacja, lab 6-7 © 2007-2009 by Igor Wojnicki
3. poprawki, pomysły, reorganizacja © 2008-2009 by Weronika Furmańska i Piotr Hołownia

Jak odpowiedzą programiści pytani o drogę:

• Piszący w C++: Pójdzie pan do tego skrzyżowania, skręci pan w prawo, potem prosto, prosto, prosto, w lewo i już pan jest na miejscu.
• Piszący w Pascalu: Pójdzie pan do tego skrzyżowania, skręci pan w prawo w ulice: Mickiewicza, dalej ulica: Prusa, a potem skręci pan w lewo w: Żeromskiego i już pan jest na miejscu.
• Piszący w Asemblerze: Pójdzie pan do tego kiosku, kupi pan bilet za złotówkę, pójdzie pan na tamten przystanek i wsiądzie pan do autobusu, wysiądzie na trzecim przystanku, przejdzie pan przejściem podziemnym i już pan jest na miejscu.
• Piszący w Prologu: Widzi pan tamten wysoki budynek z wielkim czerwonym szyldem? To tam.
• Piszący w Lispie: Dojdzie pan do tego skrzyżowania, a dalej się pan zapyta.

1. Wprowadzenie
2. Podstawy programowania
3. Praca z listami (cz. 1)
4. Praca z listami (cz. 2)
5. Reprezentacja wiedzy
6. Meta programowanie

• Integracja z systemem operacyjnym (O)
• Tworzenie GUI w XPCE (P)
• Planowanie tras przejazdu (L)
• Integracja z HTTP/WWW (H) ← uwaga: wymaga O
• Definite Clause Grammars (D)
• Integracja z SemWeb (S) ← przydatna wiedza z O (graphviz)
• Opisywanie problemów za pomocą ograniczeń (C)

Wersje robocze lab, dla zainteresowanych.

• Integracja z RDBMS (R)
• (Integracja z C (C))
• Integracja z Java (J) ← uwaga: wymaga O

• Podstawy uczenia maszynowego (ML)

W dostępnej tutaj bazie przykładów zebrano ponad 300 przykładów programów w Prologu ilustrujących różne techniki programistyczne i rozwiązania istotnych problemów.

• I. Bratko, Prolog Programming for Artificial Intelligence, 4th ed, Addison-Wesley, 2011.

• Dave Stuart Robertson, Quick Prolog
• Patrick Blackburn, Johan Bos, Kristina Striegnitz, Learn Prolog Now!
• J. R. Fisher, Prolog Tutorial
• Colin Barker, LPA Examples

• Dennis Merritt, Adventure In Prolog
• Dennis Merritt, Building Expert Systems in Prolog
• Ulf Nilsson and Jan Małuszyński, Logic, Programming and Prolog (2ed).
• Michael Covington et. al., Prolog Programming in Depth.

• Jan Wielemaker et. al., SWI-Prolog
• Universidade de Porto, YAP Prolog
• XSB
• Daniel Diaz, GNU-Prolog

• MICHAEL A. COVINGTON, ROBERTO BAGNARA, RICHARD A. O’KEEFE, JAN WIELEMAKER, SIMON PRICE, Coding guidelines for Prolog, Cambridge University Press, 2011.