[1] : The Collaborative International Dictionary of English v.0.48

prolog \pro"log\, n.  v.
   prologue.
   1913 webster

[2] : The Collaborative International Dictionary of English v.0.48

prolog \pro"log\ pr=o"lo^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

[3] : 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
see also:
basic fortran cobol c c++ prolog 
java 

[4] : WordNet (r) 2.0

prolog
     n : a computer language designed in europe to support natural
         language processing syn: logic programing, logic
         programming
see also:
logic programing logic programming 

[5] : Virtual Entity of Relevant Acronyms (Version 1.9, June 2002)

prolog
     programming in logic
     
     

[6] : The Free On-line Dictionary of Computing (27 SEP 03)

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
        ftp://ftp.th-darmstadt.de/pub/programming/languages/prolog/standard/.
        or uga, usa ftp://ai.uga.edu/ai.prolog.standard.
     
        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
        ftp://cpsc.ucalgary.ca/pub/prolog1.1/prolog11.tar.z 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
     
     
see also:
logic programming algol-w natural-language processing artificial intelligence lush sld 
resolution theorem proving unification depth-first search backtracking 
university of edinburgh c-prolog eslpdpro frolic lm-prolog 
open prolog sb-prolog upmail tricia prolog quintus prolog sicstus prolog 
lpa prolog swi prolog amzi prolog sni prolog iso 
lt;darmstadt, germanygt; lt;uga, usagt; negation by failure kamin's interpreters paradigms of ai programming 
aditi interpreter scheme lt;ftp://cpsc.ucalgary.ca/pub/prolog1.1gt; lt;a prolog packagegt; university of calgary delayed goals interval arithmetic continuations 

[7] : The Free On-line Dictionary of Computing (27 SEP 03)

prolog++
     
        after c++ prolog with object-oriented features added
        by phil vasey of logic programming associates.  prolog++ is
        available for ms-dos and the x window system.  it is
        distributed by ai international ltd. in england and by
        quintus.
     
     
see also:
c++ prolog object-oriented logic programming associates ms-dos x window system 
ai international quintus 

Prolog >> P Words
Prolog, definition of term: Prolog
prolog_pag1.html

SWI-Prolog's Home
...SWI-Prolog -- an LGPL comprehensive portable Prolog compiler..
http://www.swi-prolog.org/, score=100, date indexed=October 5, 2005, 11:17 am

Visual Prolog 6: Products, Compiler, Download Free Personal Edition
...Visual Prolog is a logical programming language that counts PDC Prolog and Turbo Prolog as.....The goal of Visual Prolog is to support industrial strength programming of complex.....Today Visual Prolog is a very powerful and safe programming language combining the very..
http://www.visual-prolog.com/, score=99, date indexed=October 5, 2005, 8:56 am

The GNU Prolog web site
...The Prolog part conforms to the ISO standard for Prolog with many extensions very useful.....The size of this executable can be quite small since GNU Prolog can avoid to link the code.....It first compiles a Prolog program to a WAM file which is then translated to a low-level..
http://pauillac.inria.fr/~diaz/gnu-prolog/, score=98, date indexed=May 15, 2005, 6:37 am

SICStus Prolog Homepage
...SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system.....SICStus is built around a high performance Prolog engine with optional native code.....The new module, PrologBeans, makes it easy to use SICStus Prolog from a Java-based..
http://www.sics.se/sicstus.html, score=97, date indexed=October 5, 2005, 11:56 pm

Amzi! Prolog+Logic Server, Adventure in Prolog tutorial, Expert Systems in...
...Prolog in PC AI Magazine's AI at Work feature "Practical Application of Prolog to.....Prolog, expert systems and artificial intelligence products, articles, examples, freeware.....logicbase to advise on shipping options and see the Java/JSP and Prolog code to implement..
http://www.amzi.com/, score=96, date indexed=October 5, 2005, 10:06 am

Prolog Development Center - Planning and Scheduling Solutions
...Originally, PDC is known for the development of a Prolog compiler for PCs. Today, we.....Read more about Visual Prolog. "We are particularly keen on the simulation and decision.....Prolog - the most widespread compiler for the Prolog programming language and the basic..
http://www.pdc.dk/, score=96, date indexed=October 5, 2005, 10:16 am

The GNU Prolog web site
...The Prolog part conforms to the ISO standard for Prolog with many extensions very useful.....The size of this executable can be quite small since GNU Prolog can avoid to link the code.....It first compiles a Prolog program to a WAM file which is then translated to a low-level..
http://gnu-prolog.inria.fr/, score=96, date indexed=October 5, 2005, 2:20 pm

SICStus Prolog Homepage
...SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system.....SICStus is built around a high performance Prolog engine with optional native code.....The new module, PrologBeans, makes it easy to use SICStus Prolog from a Java-based..
http://www.sics.se/ps/sicstus.html, score=95, date indexed=March 24, 2005, 11:21 am

SICStus Prolog Homepage
...SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system.....SICStus is built around a high performance Prolog engine with optional native code.....The new module, PrologBeans, makes it easy to use SICStus Prolog from a Java-based..
http://www.sics.se/isl/sicstus.html, score=95, date indexed=October 5, 2005, 6:07 am

Page 1 2 Next