Understanding Logic Programming

Learn about how logic programming works.

We'll cover the following

Logic programming
- Defining rules of logic

Logic programming

The logic programming paradigm is not as widely used as the ones we’ve discussed previously, but it has some interesting concepts. Logic programming is based on formal logic. A program written in a language that implements this paradigm is constructed of a set of sentences in a logical form that will express facts and rules about a specific problem domain. This might sound complicated and strange, but as we’ll see, the basic concepts of this paradigm are rather simple. Consider the following diagram:

Get hands-on with 1400+ tech skills courses.

Introduction

Introduction to Computer Programs

Introduction to Programming Languages

Types of Applications

Software Projects and Code Organization

The Basic Building Block of a Computer Program

Working with Data: Variables

Program Control Structures

Understanding Functions

When Things Go Wrong: Bugs and Exceptions

Programming Paradigms

Programming Tools and Methodologies

Code Quality

Appendix: How to Translate the Pseudocode into Real Code

Conclusion

Understanding Logic Programming

Logic programming