jarhake.pages.dev


Prolog syntax

          The craft of prolog pdf.

          Logic programming language

        1. Prolog programming in depth pdf
        2. The craft of prolog pdf
        3. Prolog hello world
        4. Prolog textbook
        5. Prolog

          Programming language that uses first order logic

          This article is about the programming language. For the narrative device, see Prologue. For other uses, see Prologue (disambiguation).

          ParadigmLogic
          Designed byAlain Colmerauer
          First appeared1972; 53 years ago (1972)
          Stable release

          Part 1: General core-Edition 1 (June 1995; 29 years ago (1995-06))
          Part 2: Modules-Edition 1 (June 2000; 24 years ago (2000-06))

          Typing disciplineUntyped (its single data type is "term")
          Filename extensions, ,
          WebsitePart 1: www.iso.org/standard/21413.html
          Part 2: www.iso.org/standard/20775.html
          Amzi!

          Prolog, B-Prolog, Ciao, ECLiPSe, GNU Prolog, LPA Prolog, Poplog, P#, Quintus Prolog, Scryer Prolog, SICStus, Strawberry, SWI-Prolog, Tau Prolog, tuProlog, WIN-PROLOGXSB, YAP.

          ISO Prolog, Edinburgh Prolog
          Planner
          CHR, Clojure, Datalog, Erlang, Epilog, KL0, KL1, Logtalk, Me