Unit 7: Logical Programming
The relationship between mathematical logic and computer science runs deep. As such, there are a number of programming language tools that enable you to rapidly code efficient logic systems for deployment in a variety of high-tech arenas, such as Artificial Intelligence, Textual Analysis, and so on.
In this unit, you will learn about Logical Programming (also known as Declarative Programming) and why you would use it to solve these sorts of problems. We will discuss the fundamental features of Logical Programming and identify what distinguishes Logical Programming from other programming paradigms. By the end of this unit, you will be able to identify the problem domain that Logical Programming covers and recognize when you should take advantage of Logical Programming's considerable power.
Completing this unit should take you approximately 9 hours.
7.1: Overview
Read Chapter 1 for an introduction to logic programming.
Watch this lecture for an overview of logic programming, using Prolog as an example.
7.2: Basic Features and Examples
Watch these lectures for an overview of the fundamental features of logic programming using several Scheme examples.
Unit 7 Assessment
Please take this assessment to check your understanding of the materials presented in this unit.
Notes:
- There is no minimum required score to pass this assessment, and your score on this assessment will not factor into your overall course grade.
- This assessment is designed to prepare you for the Final Exam that will determine your course grade. Upon submission of your assessment you will be provided with the correct answers and/or other feedback meant to help in your understanding of the topics being assessed.
- You may attempt this assessment as many times as needed, whenever you would like.