Intermediate · Systems
Logic programming
Visual diagram · (in preparation) · Math · (in preparation) · Worked example · 3 difficulty levels.
TL;DR. Logic programming is a programming paradigm based on formal logic, where programs express facts and rules to solve problems.
Technical Definition
Logic programming is a programming paradigm based on formal logic, where programs express facts and rules to solve problems.
How it works
Logic programming is a programming paradigm where programs are expressed in terms of logical relationships. Programs consist of a set of facts and rules, and the system uses logical inference to derive answers to queries. Prolog is the most well-known language in this paradigm.
Related Concepts
- Knowledge representation and reasoning (KR² or KR&R) — Knowledge Representation and Reasoning (KR&R) is the AI field focused on how computers can store and use knowledge to solve problems.
- Prolog — A declarative logic programming language widely used in AI and computational linguistics, based on facts and rules.