☰ Functional and Logic Programming

Requirements

1. Instructors

• Lecture
  • Prof.dr. Horia F. Pop, Email:
• Seminars
  • Lect.dr. Alina Călin, Email:
  • Lect.dr. Horea Muresan, Email:
  • Lect.dr. Zsuzsanna Onet-Marian, Email:
• Labs
  • Lect.dr. Zsuzsanna Onet-Marian, Email:
  • Drd. Sara Boanca, Email:
  • Drd. Daria Marc, Email:
  • Drd. Daniel Pop, Email:
  • Drd. Melisa Sarkozi, Email:
  • Ms Roberta Fabian, Email:

2. Contents

Introduction

1. Programming and programming languages. Imperative programming vs. declarative programming. Introduction

Logic Programming. The PROLOG programming language

1. Basic elements of Prolog. Facts and rules in Prolog. Goals. The control strategy in Prolog. Variables and composed propositions. Anonymous variables. Rules for matching. The flux model. Sections of a Prolog program. Examples.
2. The Prolog program. Predefined domains. Internal and external goals. Multiple arity predicates. The IF symbol (Prolog) and the IF instruction (other languages). Compiler directives. Arithmetic expressions and comparisons. Input/output operations. Strings.
3. Backtracking. The backtracking control. The "fail" and "!"(cut) predicates. Using the "!" predicate. Type of cuts. The "not" predicate. Lists in Prolog. Recursion. Examples for backtracking in Prolog. Finding all solutions in the same time. Examples of predicates in Prolog. Non-deterministic predicates.
4. Composed objects and functors. Unifying composed objects. Arguments of multiple types; heterogeneous lists. Comparisons for composed objects. Backtracking with cycles. Examples of recursive procedures. The stack frame. Optimization using the "tail recursion". Using the "cut" predicate in order to keep the "tail recursion".
5. Recursive data structures. Trees as data structures. Creating and transversing a tree. Search trees. The internal database of Prolog. The "database" section. Declaration of the internal database. Predicates concerning operations with the internal database.
6. Advanced issues on backtracking and efficiency in Prolog.
7. Files management in Prolog. Elements of graphic.

Functional Programming. The LISP programming language

1. Basic elements in Lisp. Dynamic data structures. Syntactic and semantic rules. Functions' classification in Lisp. Primitive functions in Lisp. Basic predicates in Lisp. Predicates for lists; for numbers. Logic and arithmetic functions. Defining user functions. The conditional form. The collecting variable method. Examples.
2. Symbols management. Other functions for lists' accessing. OBLIST and ALIST. Destructive functions. Comparisons. Other interesting functions. Examples.
3. Definitional mechanisms. The EVAL form. Functional forms; the functions FUNCALL and APPLY. LAMBDA expressions, LABEL expressions. Generators, functional arguments. MAP functions. Iterative forms. Examples.
4. Other elements in Lisp. Data structures. Macro-definitions. Optional arguments. Examples.

Other skills

1. Other functional and logic languages. Versions of LISP. Versions of PROLOG.
2. Examples of applications. Programs presented comparatively in Lisp, Prolog and in imperative languages. Specific applications.

3. Bibliography

1. Gabriela Czibula, H.F. Pop, Elemente Avansate de Programare in Lisp si Prolog. Aplicatii in Inteligenta Artificiala, Editura Albastra, Cluj, 2012

Other references

1. A. Field, Functional Programming, Addison Wesley, 1988
2. C. Giumale et. al., LISP, 2 Volume, Editura Tehnica,1987
3. C. J. Hogger, Introduction to Logic Programming, Academic Press, 1984
4. B. Parv, A. Vancea, Fundamentele limbajelor de programare, Litografia Universitatii "Babes-Bolyai" ~Cluj-Napoca, 1992
5. H. F. Pop, Gabriela Serban, Programare in Inteligenta Artificiala - Limbajele Lisp si Prolog, Editura Albastra, Cluj, 2003
6. H. F. Pop, Programare Functionala si Logica, Litografia Universitatii "Babes-Bolyai", 1998
7. C. Reede, Elements of Functional Programming, Addison Wesley, 1989
8. I. Streinu, LISP, Editura Stiintifica si Enciclopedica, 1986
9. A. Walker et. al., Knowledge Systems and Prolog. A Logical Approach to Expert Systems and Natural Processing, Addison Wesley, 1987
10. P. H. Winston, Lisp, Addison Wesley, 1984, 2nd edition
11. P. H. Winston, Artificial Intelligence, Addison Wesley, 1984, 2nd edition
12. P. Flach, Simply Logical Intelligent reasoning by Example, John Wiley & Sons, Chichester, England, 1994
13. Documentatia implementarilor Common Lisp
14. Documentatia implementarilor Prolog
15. http://www.ifcomputer.com/IFProlog/home_en.html
16. http://www.lpa.co.uk - Logic Programming

4. Course schedule

• Week 1: Introduction. Recursion
• Weeks 2-6: Logic programming with Prolog
• Weeks 7-12: Functional programming with Lisp
• Weeks 13-14: Final written test paper

• Due to the National Holiday celebrations, there will be no classes on 30/11 and 1/12.

5. Lab schedule

• The scheduling situations due to the National Holiday celebrations will be dealt with accordingly by the laboratory teacher.

6. Lecture notes

• Lecture notes and other resources are available on the UBB Sharepoint platform.
• Please understand that the lecture notes will be posted here AFTER the class.

7. Software and resources for Prolog

Software

• Website
• Download
• Reference Manual

Resources

• Lawrence C. Paulson - Logic and Proof
• Ulle Endris - Introduction to Prolog Programming
• An Introduction to Prolog

8. Software and resources for Lisp

Software

• Website
• Download
• Implementation Notes

• Website
• Download
• User Manual

Resources

• Common Lisp - The Language
• Common Lisp - The Language
• Common Lisp - An Interactive Approach
• Common Lisp - A Gentle Introduction to Symbolic Computation

© Prof.dr. Horia F. Pop