https://wiki.devclub.in/index.php?action=history&feed=atom&title=COL765 2026-04-09T14:17:39Z Revision history for this page on the wiki MediaWiki 1.45.1 https://wiki.devclub.in/index.php?title=COL765&diff=600&oldid=prev 2026-03-04T10:00:19Z

<p>Creating course page via bot</p> <p><b>New page</b></p><div>{{Infobox Course<br /> | code = COL765<br /> | name = Intro. To Logic and Functional programming<br /> | credits = 4<br /> | credit_structure = 3-0-2<br /> | pre_requisites = COL106 OR Equivalent<br /> | overlaps = COL226 &amp; COL703<br /> }}<br /> <br /> == COL765 : Intro. To Logic and Functional programming ==<br /> Introduction to declarative programming paradigms. The functional style of programming, paradigms of developments of functional programs, use of higher order functionals 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.</div>

Prashantt492