April 16th, 2008 — Programming Declaratively in C++ Using the Logic Paradigm — Roshan Naik

Published: Tue 01 April 2008
By nwcpp

In 2008.

Location

Building 41
One Microsoft Way
Redmond, Washington 98052

Abstract

The Logic paradigm (LP) is a powerful, Turing-complete programming paradigm that has seen little representation in mainstream languages as compared to the Object-Oriented, Imperative and Functional paradigms. LP is an important approach in Computer Science towards what is sometimes referred to as the Holy-Grail of programming, "The user states the problem, the computer solves it". Origins of the theory underlying Logic dates back to about 300 B.C. when Aristotle founded Formal Logic to bring rigor to logical inferencing. The theory matured into Modern Logic more recently (early 1900s) when Russell & Whitehead showed that all of Mathematics could be reduced to Logic. This talk will provide an introduction to the basics of LP in C++, followed by examples to develop a feel for thinking in terms of this paradigm and understand how it blends with the other paradigms. We finally broaden the scope to see how powerful multiparadigm solutions emerge when programmers can freely mix and match paradigms. All code will use standard C++ and Castor, an open source library (available from www.mpprogramming.com) which brings the Logic paradigm to C++.

Bio

Roshan Naik is an R&D engineer at Hewlett-Packard. He specializes in multiparadigm programming techniques. Roshan is also author of Castor, an open source library which brings the Logic Paradigm to C++.

Resources

Download the slides from the presentation.