DATABASE
DATABASE
  PEOPLE
    Family Name
      Name
        Country of Origin (1st profesionnal)
          Country
        place where the person worked
          other countries
        city 1
          other countries
          from xxxx to yyyy.
        each individual may belong to only one school
          School
        web references
          references
          or personal web page
        Sous-sujet 6
          organisation
        Sous-sujet 7
          events
        Sous-sujet 8
          fields
      Kowalski
        UK
          Country
        Sous-sujet 2
          other countries
        Bob
          First name
        Sous-sujet 4
          School
        https://en.wikipedia.org/wiki/Robert_Kowalski
          organisation
        logic
          fields
        logic programming
          fields
      Dahl
        Canada
          Country
        Veronica
          First name
        https://en.wikipedia.org/wiki/Veronica_Dahl
          organisation
        France
          other countries
        Canada
          other countries
        PhD in Marseille with A Colmerauer
          events
      Colmerauer
        France
          Country
        Alain
          First name
        Marseille
          School
        Sous-sujet 4
          other countries
      Dincbas
        France
          Country
        Mehmet
          First name
        example of scientific profile
          references
      Hewitt
        https://en.wikipedia.org/wiki/Carl_Hewitt
          references
        Carl
          First name
        USA
          Country
        MIT
          organisation
      Jouannaud
        France
          Country
        Jean-Pierre
          First name
        example of scientific profile
          references
      KIrchner
        Claude
          First name
        example of scientific profile
          references
      Van Hentenryck
        Pascal
          First name
        Belgium
          Country
        https://en.wikipedia.org/wiki/Pascal_Van_Hentenryck
          references
        constraint programming
          fields
        operations research
          fields
        Belgium
          other countries
        USA
          other countries
      Pinto Abreu
        Salvador
          First name
        Portugal
          Country
        http://www.di.uevora.pt/~spa/
          references
  SCHOOLS
    PLACE
      City
        Sous-sujet 1
          short_d
        Sous-sujet 2
          year started
      Marseille
        Sous-sujet 1
          initiated by
        Sous-sujet 2
          history
      Edinburgh
      Leuwen
  CONCEPTS
    Name
      Name of concept
        Sous-sujet 1
          references
        Sous-sujet 1
          long_d
      Logic
        https://en.wikipedia.org/wiki/Logic
          references
        -350
          date invented
        Logic is the study of correct reasoning or good arguments.
          short_d
        the science of deductively valid inferences or of logical truths. In this sense, it is equivalent to formal logic and constitutes a formal science investigating how conclusions follow from premises in a topic-neutral way or which propositions are true only in virtue of the logical vocabulary they contain. When used as a countable noun, the term "a logic" refers to a logical formal system.
          long_d
        https://en.wikipedia.org/wiki/List_of_logicians
      Clauses
      Logic Programming
        Sous-sujet 1
          invented by
        many
          Contributors
        Sous-sujet 3
          date invented
        Sous-sujet 4
          short_d
      Warren Abstract Machine
        Warren
          invented by
        1983
          date invented
        https://en.wikipedia.org/wiki/Warren_Abstract_Machine
          references
    The main difficulty in defining concepts is the scope/width of the concepts :
        they may refer to previous concepts
  TOOLS
    Tool_name
      Language
        Sous-sujet 1
          Etiquette de "7"
        Sous-sujet 2
          evolutions
        1 or many texts
          long_d
        one sentence
          short_d
        one paragraph
          middle_d
        texts, web links
          references
        date 1st worked
          Year
        Sous-sujet 8
          base concepts
      Prolog 0
        Kowalski
          invented by
        1972
          Year
        Sous-sujet 3
          short_d
        Sous-sujet 4
          middle_d
        ?
          derived from
        PLANNER
          derived from
        Sous-sujet 6
          references
      Prolog 1
        ?
          derived from
        Colmerauer
          invented by
        Roussel
          invented by
        1972
          Year
        base on Robert Kowalski's procedural interpretation of Horn clauses
          base concepts
      Prolog 2
        Prolog 1
          derived from
        Colmerauer
          invented by
      Prolog 3
        Prolog 3
          derived from
        Colmerauer
          invented by
      Prolog 4
        Colmerauer
          invented by
      CHIP
        Dincbas
          invented by
        1988
          Year
        Prolog 2
          derived from
        Constraints solving
          evolutions
      Edinburgh Prolog
        Warren
          invented by
        Prolog 2
          derived from
        syntax evolution
          evolutions
      Quintus Prolog
      Datalog
        Minker
          invented by
        Gallaire
          invented by
        1977
          Year
      SWI prolog
        1989
          Year
      iso prolog
      PLANNER
        Carl Hewitt
          invented by
        1969
          Year
        Planner_(programming_language)
          references
        https://dspace.mit.edu/handle/1721.1/6171
          references
      QLISP
        PLANNER
          derived from
      Deep Prob LOg
      Elyxir
      Dyna
    NOTES
      A tool can be :
          derived from a concept
          complement another tool with a new concept
          revisits another tool
  APPLICATIONS
    NAME
      nom
        TLN
          domain
        production
          domain
        details of implementation if known, and performance
          Résultats
        usages
          Résultats
        Sous-sujet 5
          Année
        Sous-sujet 6
          Notes
      Causality Link
          Contexte
          analyse de pages html et suivi des news des agences
          cf
            causality link
        au dessus d'une couche de TLN en python.
          Résultats
          après spacy.
        analyse quotidienne de millions de news
          Résultats
          extraction de patterns de causalité
        2020
          Année
        compréhension du langage naturel
          domain
        Causality Link
          Company
      Watson
        Marque commerciale
          domain
          Résultats
          surtout Java et C
          des gros morceaux en prolog
            Articles :
              https://www.cs.nmsu.edu/ALP/2011/03/natural-language-processing-with-prolog-in-the-ibm-watson-system/
        minage de centaines de millions de pages
          Résultats
        pas de capacité à vraiment comprendre le fond
          Résultats
        analyse de pages html et documentation
          Contexte
        2012
          Année
        IBM
          Company
      Logical English
        usages
          Résultats
            représentation standardisée de règles de comportement et calcul
        the most popular approach to building Computational Law systems today is based on Computational Logic”, (Genesereth ),
          Résultats
          Genesereth M (2015) Computational law: the cop in the backseat. In third annual futurelaw conference
        Logical English
          domain
        traduction d'un mini langage de règles en prolog (Kowalski)
          Contexte
        2021
          Année
        Robert Kowalski
          Company
      Wuenic
        world-wide infant immunisation estimates
          domain
        2010
          Année
        WHO, UNICEF
          Company
        Rule-based Knowledge Representation and Reasoning
          Contexte
          Production of official statistics frequently requires expert judgement to evaluate and reconcile data of unknown and varying quality from multiple and potentially conflicting sources. Moreover, exceptional events may be difficult to incorporate in modelled estimates. Computational logic provides a methodology and tools for incorporating analyst's judgement, integrating multiple data sources and modelling methods, ensuring transparency and replicability, and making documentation computationally accessible.
        Paper :
          Résultats
          WUENIC – A Case Study in Rule-based Knowledge
representation and Reasoning (Robert Kowalski1 and Anthony Burton) JURISIN 2011
      TerminusDB
        Knowledge Graphs
          domain
        software development : revision control
          domain
        TerminusDB is an open source knowledge graph and document store. It is used to build versioned data products. It is a native revision control database that is architecturally similar to Git. It is listed on DB-Engines.
          Contexte
          cf WOQL as a web object query language
        2019
          Année
        Architecture
          Résultats
            en RUST
            uses WQLOG
              WOQL (web object query language)
                based on
                  DATALOG
                    Declarative logic programming language
                      subset of Prolog
      GeneXUs
        programmation low code
          domain
        GeneXus is a Low Code, cross-platform, knowledge representation-based development tool,[1][2] mainly oriented towards enterprise-class applications for web applications, smart devices, and the Microsoft Windows platform.
          Contexte
          GeneXus site
        GeneXus
          Company
      etc