---
key: pl/prolog
kind: plang
name: "Prolog"
url: https://plangs.page/prolog
---

# Prolog

> Logic programming language used in AI and theorem proving, influenced by first-order logic for declarative tasks.

Logic programming language that has its roots in artificial intelligence, automated theorem proving, and computational linguistics, influenced by first-order logic for declarative programming.

## Facts

- Appeared: 1972
- Languish ranking: #131

## Relationships

### Paradigms

- [Declarative](https://plangs.page/paradigm/declarative)
- [Logic](https://plangs.page/paradigm/logic)

### Platforms

- [Cross-Platform](https://plangs.page/platform/cross)
- [Linux](https://plangs.page/platform/linux)
- [Windows](https://plangs.page/platform/windows)

### Type Systems

- [Untyped](https://plangs.page/type-system/untyped)

### Target Of

- [Logtalk](https://plangs.page/logtalk)

### Dialects

- [Datalog](https://plangs.page/datalog)
- [JIProlog](https://plangs.page/jiprolog)
- [Logica](https://plangs.page/logica)
- [Mercury](https://plangs.page/mercury)
- [Scryer Prolog](https://plangs.page/scryer)
- [Strand](https://plangs.page/strand)
- [Tau Prolog](https://plangs.page/tau)
- [Teyjus](https://plangs.page/teyjus)
- [Trealla Prolog](https://plangs.page/trealla)
- [XSB](https://plangs.page/xsb)

### Implemented By

- [Ciao](https://plangs.page/ciao)
- [erlog](https://plangs.page/erlog)
- [GNU Prolog](https://plangs.page/gprolog)
- [Ichiban Prolog](https://plangs.page/ichiban)
- [SWI-Prolog](https://plangs.page/swi-prolog)
- [XSB](https://plangs.page/xsb)

### Influenced

- [Ciao](https://plangs.page/ciao)
- [Clojure](https://plangs.page/clojure)
- [Curry](https://plangs.page/curry)
- [Datalog](https://plangs.page/datalog)
- [Erlang](https://plangs.page/erlang)
- [GUPU](https://plangs.page/gupu)
- [JIProlog](https://plangs.page/jiprolog)
- [Logica](https://plangs.page/logica)
- [Logtalk](https://plangs.page/logtalk)
- [Mercury](https://plangs.page/mercury)
- [Natlog](https://plangs.page/natlog)
- [Picat](https://plangs.page/picat)
- [Scryer Prolog](https://plangs.page/scryer)
- [Shen](https://plangs.page/shen)
- [Slog](https://plangs.page/slog)
- [SWI-Prolog](https://plangs.page/swi-prolog)
- [Tau Prolog](https://plangs.page/tau)
- [Teyjus](https://plangs.page/teyjus)
- [Wolfram Language](https://plangs.page/wolfram-language)
- [XSB](https://plangs.page/xsb)

### Tags

- [Application](https://plangs.page/tag/app)
- [Application Framework](https://plangs.page/tag/framework)
- [Audio](https://plangs.page/tag/audio-dev)
- [Compiler](https://plangs.page/tag/compiler)
- [Data Analysis](https://plangs.page/tag/analysis)
- [DBMS](https://plangs.page/tag/dbms)
- [Industrial Control](https://plangs.page/tag/industrial)
- [Interpreter](https://plangs.page/tag/interpreters)
- [Low Code](https://plangs.page/tag/low-code)
- [Mathematical Modeling](https://plangs.page/tag/modeling)
- [Proof Assistant](https://plangs.page/tag/proofs)
- [Ray Tracer](https://plangs.page/tag/ray-tracer)
- [Unified Modeling Language (UML)](https://plangs.page/tag/uml)
- [Visualization](https://plangs.page/tag/viz)
- [Wavelet](https://plangs.page/tag/wavelet)