DOCUMENTATION
DOCUMENTATION
  USAGES GENERAUX ET PRINCIPES
    ABOUT PROLOG
      50 years of prolog and beyond - 2022 - ann LG.pdf
        50 years of prolog and beyond - 2022.pdf
      cours.pdf
      essais SQL.pl
      The_Early_Years_of_Logic_Programming.pdf
      PhD_FabienGandon(1).pdf
      Using-logic-programming-for-theory-representation-and-_2021_New-Ideas-in-Psy.pdf
    variantes d'implémentation
      prolog IV
        Marseille
        documentation_PrologIV-manuel-pdfA.pdf
          install
            KitP4.zip
      SWI PROLOG
        download
          installation : swipl-w64-723.exe
        doc complete
        LANCEMENT SWI_PROLOG
          exemples
          KM_PL
            lancer avec main
              main.pl
      prolog dans FranzLisp Allegro ?
      DOCS\PROLOG IMPLEMENTATIONS
        PRL-RR-36.pdf
      LPA prolog
        environnement complet
    FRAMEWORKS
      Pengines
        https://github.com/Anniepoo/JavaPengine
      swi prolog packages
    DISCUSSIONS
      https://news.ycombinator.com/item?id=20792370
        https://www.metalevel.at/
          site intéressant
    CONCEPTS AND RELATED TOOLS
      Answer_set_programming
        DPLL_algorithm
        Boolean satisfiability problem
          SAT solvers
            CDCL solvers (Conflict-driven clause learning)
              CDCL provides less state space search in comparison to DPLL.
            parallel SAT-solving
  APPLICATIONS
    UNCLASSIFIED
      applications-of-prolog - Attila Czenki, 2009
      Artificial Intelligence Through Prolog - Neil C Rowe - 1988.pdf
      DissertationThesis-TheAlephSystemMadeEasy-ProvisoryVersion.pdf
      HDR Talk Olivia Caramello -2016
      iicep.1988.115.pdf
      master_diogo_hortencio_farinha.pdf
        Automatic Generation of Descriptions for Prolog Programs
        Prolog Programs
      Programming languages for Knowledge-Based Systems - 1987 - NBS
      Pau - a software maintenance system in prolog - 1988
      SWI-Prolog and the Web - 2003 - TPLP-plweb.pdf
        SWI prolog and the web
    DOCS\KNOWLEDGE MANAGEMENT
      KROL Knowledge representation in prolog.pdf
      KROL: A Knowledge Representation Object Language On Top Of Prolog - 2003
      Vol2 Knowledge Management 1994.pdf
      logic based architecture for KM.pdf