# Logic and Functional programming [closed]

I have a subject Introduction to logic and functional programming but the course is not provided in detail. This is the provided course.

Introduction to declarative programming paradigms. The functional style of programming, paradigms of development of functional programs, use of higher order functional and pattern matching. Introduction to lambda calculus. Interpreters for functional languages and abstract machines for lazy and eager lambda calculi, Types, type- checking and their relationship to logic. Logic as a system for declarative programming. The use of pattern-matching and programming of higher order functions within a logic programming framework. Introduction to symbolic processing. The use of resolution and theorem-proving techniques in logic programming. The relationship between logic programming and functional programming.

I want to ask that, I have the SICP book. Will it be enough for the preparation of course?

For example: I don't know what topic can be under The functional style of programming, paradigms of development of functional programs.

Please guide me if anyone can in a proper direction. I cannot ask teachers as there are none for this subject.

## closed as unclear what you're asking by D.W.♦, Luke Mathieson, David Richerby, András Salamon, JuhoFeb 19 '15 at 7:34

Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

• Unfortunately, we can not know. Only the people who have designed the course will. I don't know how a course without any teachers and/or literature recommendations can exist, but there you are. Maybe we can help you Computer Science Chat; otherwise you might try asking former students. – Raphael Nov 13 '14 at 16:03
• @Raphael These are recommended literature 1. S. Arun-Kumar: Introduction to Logic for Computer Science 2. Structure and Interpretation of Computer Programs, H Abelson and G Sussmann, MIT Press. 3. John Kelly: The Essence of Logic, Prentice-Hall of India. 4. The Functional Approach to Programming, G. Cousineau and M. Mauny, Cambridge University Press – Totoro Nov 14 '14 at 9:11
• Well then, best start with these! – Raphael Nov 14 '14 at 9:15

• Yes, this is an excellent advice. But I disagree that translating imperative programs into functional programs is a good way of learning functional programming. Instead, think of problems you'd like to solve and write functional programs that solve them. May I suggest "calculate the list of the first $n$ primes". – Andrej Bauer Feb 18 '15 at 20:20