Skip to content
◈ALB Atlas

Prolog Alive

Prolog
KindProgramming language
Appeared1972
StatusAlive
CreatorAlain Colmerauer & Philippe Roussel / Marseille
FamilyProlog
Sourcewww.swi-prolog.org ↗

Programming as theorem-proving — state facts and rules, ask questions, let unification do the walking. The heart of the logic-programming lineage.

Created by Alain Colmerauer Philippe Roussel
Influenced AdaLog Erlang

Colmerauer and Roussel's Prolog (1972) — logic programming's first and only mainstream success — made the program a set of Horn clauses and the execution a theorem proof.\n\nIt was Japan's Fifth Generation project language and remains the standard for logic programming; Datalog is its database descendant.

Sources

  1. swi-prolog.org/
  2. en.wikipedia.org/wiki/Prolog