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.
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
$\endgroup$ – Totoro Nov 14 '14 at 9:11