BMSTU_6sem_FaLP 6th sem BMSTU, Functional and Logical Programming The course consists of 2 parts: Functional programming (Lisp) Logical programming (Prolog) In "theory" you can find lectures, some books and articles.