Programming Language Atlas

A structured reference to language families, paradigms, and implementations

Prolog

Logic, declarative. First appeared 1972; logic and declarative; symbolic reasoning, nlp, scheduling.

Record

First appeared1972
FamilyLogic and declarative
Paradigm emphasisLogic, declarative
TypingDynamic
MemoryTracing GC
ExecutionInterpreted or compiled
Primary domainSymbolic reasoning, NLP, scheduling
DesignersColmerauer and Roussel
Referencehttps://www.iso.org/standard/21413.html
Last verifiednot yet checked against its source by a human

Dates are first public release or publication, not the start of internal development. Colour on the typing and memory tags encodes kind, never rank.

Back to top

Influence

Lisp1958Erlang1986Prolog1972
Figure 1. Prolog in the influence graph: recorded ancestors on the left, languages that record it as an influence on the right. Every node links to its own record. Edges name indexed languages only, so an empty side means no indexed relative, not none at all. Source: languages.json.

Back to top

Within the Logic and declarative

Programs stated as relations or constraints, with the runtime searching for satisfying answers.

Language First appeared Typing Memory Execution
SQL 1974 Static, dialect-dependent Engine-managed Query planner

1 other languages in this family, ordered by first appearance. Prolog itself is omitted. Source: languages.json.

Back to top