cartographie
PROLOG HISTORY : an overview
  SOLVER ALICE
    Laurière
  prolog iv
    Marseille
  Neural
Networks
  prolog's family
  prolog 3
    Marseille
  modern solvers
  constraint
programing
  Probabilistic
programming,
Bayes
    Leuven
  Deep Prob LOg
    Leuven
  Dyna
    John Hopkins
  Erlang
  Elixir
  Edinburgh Prolog,
    Warren
    gnu prolog
    swi
    sicstus
    etc
  automated
theorem proving
    Gödel & Herbrand
  automated
higher order logics
  resolution
unification
    Robinson
  1964
  2015
  Combinatorics
  Definite
Clause
Grammars
    Perzeira&Warren
  1972
  1980
  1990
  1996
  1976
  SL-resolution
    Kowalski & Kuehner
  proto-Prolog
    Colmerauer & Roussel
  prolog's family
  TODAY
  2000
  2020
  Perceptron
    Rosenblatt
  Deep Learning
  Statitics
Probabilities
  Bayes
Statistics
  Logic
  1900
  prolog 1
    Colmerauer et al
  Formal Grammars
    Chomsky
  Metamorphose Grammars
    Colmerauer
  Computational Linguistics
  Grammars as logicial
    Kowalski & Colmerauer
  Planner
    Hewitt
  Formal methods
  Neural Methods
  iso standard
  Logic grammars
  computation
  Q_systems
    Colmerauer
  2010
  graphique format image
    Tentative cartography and typology of prolog-based tools a and concepts
  procedural interpretation
  CHIP
    ECRC
  constraint programming
  WAM
    Warren