Back to Teaching Page

CURSURI PROGRAMARE LOGICÃ

  1. Introducere in Prolog Curs 1
  2. Structuri de date. Liste. Recursivitate Curs 2
  3. Liste. Recursivitate (II) Acumulatori Curs 3
  4. Backtracking. Predicatul Cut (!) Curs 4
  5. Eficienta in Prolog. I/O Curs 5
  6. Exercitii (I) Curs 6
  7. Exercitii (II) Curs 7
  8. Exercitii (III) Curs 8
  9. Exercitii (IV) - Algoritmi de sortare Curs 9
  10. Logica predicatelor de ordinul intai. Forma clauzala Curs 10
  11. Forma clauzala. Exercitii 12 Curs 11
  12. Unificare. Rezolutie Curs 12
  13. Recapitulare
  14. Colocviu

LABORATOARE PROGRAMARE LOGICÃ

  1. Introducere in Prolog Laboratorul 1 Probleme Tema 1
  2. Recursivitate Laboratorul 2 -- Tema 2
  3. Backtracking, The cut predicate ! Laboratorul 3
  4. I/O in Prolog (I) Laboratorul 4
  5. I/O in Prolog (II) Laboratorul 5
  6. Recapitulare Laboratorul 6
  7. TEST

Material bibliografic

  1. SWI-PROLOG .
  2. [Nilsson, Maluszynski, 2000] Ulf Nilsson, Jan Maluszynski, Logic, Programming and Prolog, 2nd Edition, copyright Ulf Nilsson and Jan Maluszynski, 2000.
  3. [Brna, 1988] Paul Brna, Prolog Programming A First Course, Copyright Paul Brna, 1988.
  4. [Covington, 1989] M. A. Covington, Efficient Prolog: A Practical Guide, Research Report AI-1989-08, The University of Georgia, Athens, Georgia, 1989.
  5. [Covington et al, 1997] M.A. Covington, D. Nute, A. Vellino, Prolog Programming in Depth Prentice Hall, New Jersey, 1997.
  6. [Kowalski, 1979] Robert Kowalski, Logic for Problem Solving, North Holland New York, Amsterdam, Oxford, 1979.
  7. [Mellish, Clocksin 1994] C.S. Mellish, W. F. Clocksin, Programming in Prolog, Springer Verlag Telos, 4th edition, 1994.
  8. [Wielemaker, 2008] Jan Wielemaker, SWI-Prolog 5.6.60 Reference Manual, ©1990-2008 , University of Amsterdam. http://gollem.science.uva.nl/SWI-Prolog/Manual.