Intermediate · Research
Prolog
Visual diagram · (in preparation) · Math · (in preparation) · Worked example · 3 difficulty levels.
TL;DR. A declarative logic programming language widely used in AI and computational linguistics, based on facts and rules.
Technical Definition
A declarative logic programming language widely used in AI and computational linguistics, based on facts and rules.
How it works
Prolog (Programming in Logic) is a high-level programming language based on formal logic, particularly first-order logic. It is declarative, meaning programs are expressed as facts and rules, and computations are performed by querying these relations, making it suitable for symbolic reasoning and AI tasks.
Related Concepts
- Artificial intelligence (AI) — Machines that can perform tasks typically requiring human intelligence.
- Computational linguistics — An interdisciplinary field modeling natural language using computational methods for analysis or processing.
- Declarative programming — A programming paradigm that expresses the logic of a computation without explicitly describing its control flow.
- Logic programming — Logic programming is a programming paradigm based on formal logic, where programs express facts and rules to solve problems.