Dictionary    Maps    Thesaurus    Translate    Advanced >   


Tip: Click Thesaurus above for synonyms. Also, follow synonym links within the dictionary to find definitions from other sources.
1. WordNet® 3.0 (2006)
Prolog
    n 1: a computer language designed in Europe to support natural
         language processing [syn: Prolog, logic programing,
         logic programming]
2. The Collaborative International Dictionary of English v.0.48
Prolog \Pro"log\, n. & v.
   Prologue.
   [1913 Webster]
3. The Collaborative International Dictionary of English v.0.48
PROLOG \PRO"LOG\ (pr[=o]"l[o^]g), n. (Computers)
   A declarative higher-level programming language in which
   instructions are written not as explicit procedural
   data-manipulation commands, but as logical statements. The
   language has built-in resolution procedures for logical
   inference.
   [PJC]
4. The Collaborative International Dictionary of English v.0.48
higher programming language \higher programming language\ n.
   (Computers)
   A computer programming language with an instruction set
   allowing one instruction to code for several assembly
   language instructions.

   Note: The aggregation of several assembly-language
         instructions into one instruction allows much greater
         efficiency in writing computer programs. Most programs
         are now written in some higher programming language,
         such as BASIC, FORTRAN, COBOL, C, C++,
         PROLOG, or JAVA.
         [PJC]
5. V.E.R.A. -- Virtual Entity of Relevant Acronyms (February 2016)
PROLOG
       PROgramming in LOGic
6. The Free On-line Dictionary of Computing (30 December 2018)
Prolog

    Programming in Logic or (French) Programmation
   en Logique.  The first of the huge family of logic
   programming languages.

   Prolog was invented by Alain Colmerauer and Phillipe Roussel
   at the University of Aix-Marseille in 1971.  It was first
   implemented 1972 in ALGOL-W.  It was designed originally for
   natural-language processing but has become one of the most
   widely used languages for artificial intelligence.

   It is based on LUSH (or SLD) resolution theorem
   proving and unification.  The first versions had no
   user-defined functions and no control structure other than the
   built-in depth-first search with backtracking.  Early
   collaboration between Marseille and Robert Kowalski at
   University of Edinburgh continued until about 1975.

   Early implementations included C-Prolog, ESLPDPRO,
   Frolic, LM-Prolog, Open Prolog, SB-Prolog, UPMAIL
   Tricia Prolog.  In 1998, the most common Prologs in use are
   Quintus Prolog, SICSTUS Prolog, LPA Prolog, SWI
   Prolog, AMZI Prolog, SNI Prolog.

   ISO draft standard at <Darmstadt, Germany>.
   or <UGA, USA>.

   See also negation by failure, Kamin's interpreters,
   Paradigms of AI Programming, Aditi.

   A Prolog interpreter in Scheme.
   <ftp://cpsc.ucalgary.ca/pub/prolog1.1>.

   <A Prolog package> from
   the University of Calgary features delayed goals and
   interval arithmetic.  It requires Scheme with
   continuations.

   ["Programming in Prolog", W.F. Clocksin & C.S. Mellish,
   Springer, 1985].

   (2001-04-01)
Common Misspellings >
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.

©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy