| slovo | definícia |
prolog
(encz) | prolog,prolog n: Zdeněk Brož |
prolog
(czen) | prolog,prologn: Zdeněk Brož |
prolog
(czen) | prolog,prologuen: Zdeněk Brož |
Prolog
(gcide) | Prolog \Pro"log\, n. & v.
Prologue.
[1913 Webster] |
PROLOG
(gcide) | 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] |
PROLOG
(gcide) | 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] |
prolog
(wn) | Prolog
n 1: a computer language designed in Europe to support natural
language processing [syn: Prolog, logic programing,
logic programming] |
prolog
(foldoc) | 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)
|
prolog
(vera) | PROLOG
PROgramming in LOGic
|
| | podobné slovo | definícia |
prologue
(mass) | prologue
- preslov |
prolog
(encz) | prolog,prolog n: Zdeněk Brož |
prologise
(encz) | prologise,promluvit úvodem Zdeněk Brož |
prologize
(encz) | prologize,promluvit úvodem Zdeněk Brož |
prologue
(encz) | prologue,prolog n: Zdeněk Brožprologue,proslov n: Zdeněk Brožprologue,předehra n: Zdeněk Brož |
prologuise
(encz) | prologuise,promluvit úvodem Zdeněk Brož |
prologuize
(encz) | prologuize,promluvit úvodem Zdeněk Brož |
prolog
(czen) | prolog,prologn: Zdeněk Brožprolog,prologuen: Zdeněk Brož |
PROLOG
(gcide) | Prolog \Pro"log\, n. & v.
Prologue.
[1913 Webster]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]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] |
Prologize
(gcide) | Prologize \Pro"lo*gize\, v. i. [Gr. ?. See Prologue.]
To deliver a Prologue. [R.] --Whewell.
[1913 Webster] |
Prologizer
(gcide) | Prologizer \Pro"lo*gi`zer\, n.
One who prologizes. [R.]
[1913 Webster] |
Prologue
(gcide) | Prologue \Pro"logue\, v. t. [imp. & p. p. Prologued; p. pr. &
vb. n. Prologuing.]
To introduce with a formal preface, or prologue. [R.] --Shak.
[1913 Webster]Prologue \Pro"logue\, n. [F., fr. L. prologus, fr. Gr. ?, fr. ?
to say beforehand; ? before + ? to say. See Logic.]
[1913 Webster]
1. The preface or introduction to a discourse, poem, or
performance; as, the prologue of Chaucer's "Canterbury
Tales;" esp., a discourse or poem spoken before a dramatic
performance
[1913 Webster]
2. One who delivers a prologue. [R.] --Shak.
[1913 Webster] |
Prologued
(gcide) | Prologue \Pro"logue\, v. t. [imp. & p. p. Prologued; p. pr. &
vb. n. Prologuing.]
To introduce with a formal preface, or prologue. [R.] --Shak.
[1913 Webster] |
Prologuing
(gcide) | Prologue \Pro"logue\, v. t. [imp. & p. p. Prologued; p. pr. &
vb. n. Prologuing.]
To introduce with a formal preface, or prologue. [R.] --Shak.
[1913 Webster] |
prolog
(wn) | Prolog
n 1: a computer language designed in Europe to support natural
language processing [syn: Prolog, logic programing,
logic programming] |
prologise
(wn) | prologise
v 1: write or speak a prologue [syn: prologize, prologuize,
prologise] |
prologize
(wn) | prologize
v 1: write or speak a prologue [syn: prologize, prologuize,
prologise] |
prologue
(wn) | prologue
n 1: an introduction to a play |
prologuize
(wn) | prologuize
v 1: write or speak a prologue [syn: prologize, prologuize,
prologise] |
andorra-prolog
(foldoc) | Andorra-Prolog
["Andorra-Prolog: An Integration of Prolog and Committed
Choice Languages", S. Haridi et al, Intl Conf Fifth Gen Comp
Sys 1988, ICOT 1988].
(1995-11-24)
|
binprolog
(foldoc) | BinProlog
Probably the fastest freely available C-emulated
Prolog. BinProlog features:
logical and permanent global variables; backtrackable
destructive assignment; circular term unification;
extended DCGs (now built into the engine as "invisible
grammars"); intuitionistic and linear implication based
hypothetical reasoning; a Tcl/Tk interface.
Version 3.30 runs on SPARC/Solaris 2.x, SunOS 4.x; {DEC
Alpha} 64-bit version; DEC MIPS; SGI MIPS; 68k -
NeXT, Sun-3; IBM RS6000; HP PA-RISC (two variants);
Intel 80386, Intel 486/Linux, MS-DOS, {Microsoft
Windows 3.1} (with DOS-extender go32 v1.10).
Multi-BinProlog is a multi-threaded Linda-style parallel
extension to BinProlog for Solaris 2.3.
(ftp://clement.info.umoncton.ca/BinProlog/).
E-mail: Paul Tarau .
(1995-04-04)
|
bnr prolog
(foldoc) | BNR Prolog
A constraint logic language.
[Details?]
(1994-12-21)
|
brain aid prolog
(foldoc) | Brain Aid Prolog
(BAP) A parallel Prolog environment for
transputer systems by Frank Bergmann ,
Martin Ostermann , and Guido von
Walter of Brain Aid Systems GbR. BAP is
based on a model of communicating sequential Prolog processes.
The run-time system consists of a multi-process {operating
system} with support for several applications running
concurrently.
(http://fraber.de/bap/).
(2002-11-12)
|
c-prolog
(foldoc) | C-Prolog
An implementation of Prolog in C,
developed by F. Pereira et al in
July 1982. It had no garbage collection.
It is not in the public domain.
(1994-10-13)
|
cogent prolog
(foldoc) | Cogent Prolog
A full Edinburgh standard Prolog with debugger,
listener, DCG, many built-ins, text windows, support for
modules, and support for both 16-bit and 32-bit {protected
mode}.
Contact: Dennis C. Merritt.
(1999-11-24)
|
concurrent prolog
(foldoc) | Concurrent Prolog
A Prolog variant with guarded clauses and
committed-choice nondeterminism (don't-care nondeterminism) by
Ehud "Udi" Shapiro, Yale . A subset has
been implemented, but not the full language.
See also Mandala.
["Concurrent Prolog: Collected Papers", E. Shapiro, V.1-2, MIT
Press 1987].
(1994-11-30)
|
constraint handling in prolog
(foldoc) | Constraint Handling In Prolog
(CHIP) A constraint logic programming language
developed by M. Dincbas at ECRC, Munich, Germany in 1985 which
includes Boolean unification and a symbolic simplex-like
algorithm. CHIP introduced the domain-variable model.
["The Constraint Logic Programming Language CHIP", M. Dincbas
et al, Proc 2nd Intl Conf on Fifth Generation Computer Sys,
Tokyo (Nov 1988), pp.249-264].
["Constraint Satisfaction in Logic Programming", Van
Hentenryck. Available from COSYTEC, 4 rue Jean Rostand,
F91893 Orsay, France].
(1994-11-15)
|
cs-prolog
(foldoc) | CS-Prolog
Distributed logic language.
"CS-Prolog on Multi-Transputer Systems", I. Futo et al,
Microprocessors & Microsystems, March 1989.
|
d-prolog
(foldoc) | d-Prolog
A version of Prolog extended with {defeasible
reasoning}.
(ftp://aisun1.ai.uga.edu/ai.prolog/) for MS-DOS and Unix.
(1994-12-07)
|
delta-prolog
(foldoc) | Delta-Prolog
A Prolog extension with AND-parallelism, {don't-know
nondeterminism} and interprocess communication using
synchronous event goals and distributed backtracking.
["Delta-Prolog: A Distributed Logic Programming Language",
L.M. Pereira et al, Intl Conf 5th Gen Comp Sys, Nov 1984].
|
ecrc-prolog
(foldoc) | ECRC-Prolog
Evidently Prolog with coroutine extensions.
See also SEPIA.
["ECRC-Prolog User's Manual Version 1.0", K. Estenfeld,
TR-LP-08 ECRC, Feb 1986].
(1994-12-01)
|
edinburgh prolog
(foldoc) | Edinburgh Prolog
Prolog dialect which eventually developed into the standard,
as opposed to Marseille Prolog. (The difference is largely
syntax.) Clocksin & Mellish describe Edinburgh Prolog.
Version: C-Prolog.
(1995-03-10)
|
extended concurrent prolog
(foldoc) | Extended Concurrent Prolog
(ECP) Concurrent Prolog with OR parallelism,
set abstraction and meta-inference features.
["AND-OR Queuing in Extended Concurrent Prolog", J. Tanaka et
al, Proc Logic Prog Conf '85, LNCS 193, Springer 1985].
(1994-12-01)
|
extended self-containing prolog
(foldoc) | Extended Self-containing Prolog
(ESP) An object-oriented extension of KL0 by
Chikayama. ESP has backtracking-based control,
unification-based parameter passing and object-oriented
calling. An object in ESP is an axiom set. A class
definition consists of nature definitions (inheritance),
slot definitions (class variables) and clause definitions.
ESP has multiple inheritance similar to Flavors. It has
been implemented for ICOT's PSI Sequential Inference
machine.
See also CESP.
E-mail: .
["Unique Features of ESP", T. Chikayama, Proc Intl Conf 5th
Gen Comp Sys, ICOT 1984].
(1994-12-08)
|
ic prolog ii
(foldoc) | IC Prolog II
Imperial College Prolog. A Prolog with
multi-threading, TCP primitives for {interprocess
communication}, mailboxes, and an interface to Parlog.
(ftp://doc.ic.ac.uk/computing/programming/languages).
["IC Prolog II: A Language for Implementing Multi-Agent
Systems", Y. Cosmadopoulos et al, in Tutorial and Workshop on
Cooperating Knowledge Based Systems, Keele U 1992].
(1994-11-01)
|
ic-prolog
(foldoc) | IC-Prolog
Clark & McCabe, Imperial College 1979. Logic language with
coroutining.
["IC-Prolog Language Features", K.L. Clark
et al in Logic Programming, K.L. Clark et al eds, pp.253-266,
Academic Press 1982].
|
lambda prolog
(foldoc) | Lambda Prolog
An extension of standard Prolog defined by Dale
A. Miller and Gopalan Nadathur in 1986, in which terms are
strongly typed lambda terms. Clauses are higher order
hereditary Harrop formulas. The main novelties are
universal quantification on goals and implication.
The Prolog/Mali compiler compiles Lambda Prolog for the
MALI abstract memory system.
Teyjus (http://teyjus.cs.umn.edu/) is an implementation of
Lambda Prolog.
Lambda Prolog home (http://cse.psu.edu/~dale/lProlog/).
Mailing list: lprolog@cs.umn.edu.
["Higher-order logic programming", Miller D.A. and Nadathur
G., 3rd International Conference on Logic Programming, pp
448-462, London 1986].
[Nadathur G. "A Higher-Order Logic as a Basis for Logic
Programming", Thesis, University of Pennsylvania, 1987].
(2002-10-15)
|
lm-prolog
(foldoc) | LM-Prolog
Lisp Machine Prolog.
A Prolog interpreter in Zetalisp for the Lisp Machine
developed by Ken Kahn and Mats Carlsson in 1983.
(ftp://sics.se/archive/lm-prolog.tar.Z).
["LM-Prolog User Manual", M. Carlsson et al, Uppsala Dec
1983].
(1994-12-14)
|
m-prolog
(foldoc) | M-Prolog
1. Marseille Prolog.
2. An extension to Prolog involving modules.
["The MProlog System", J. Bendl et al, Proc Logic Prog
Workshop, 1980].
(1994-10-31)
|
marseille prolog
(foldoc) | Marseille Prolog
One of the two main dialects of Prolog, the other
being Edinburgh Prolog. The difference is largely syntax.
The original Marseille Interpreter (1973) was written in
Fortran.
[Developed by?]
(1998-03-16)
|
modula-prolog
(foldoc) | Modula-Prolog
Adds a Prolog layer to Modula-2. "Modula-Prolog: A Software
Development Tool", C. Muller IEEE Software pp.39-45 (Nov
1986).
|
modular prolog
(foldoc) | Modular Prolog
Modular SB-Prolog
An interpreter for SB-Prolog version 3.1 extended with
ML-style modules. Runs on SPARC. Distributed under
GNU General Public License.
(ftp://ftp.dcs.ed.ac.uk/pub/dts/mod-prolog.tar.Z). E-mail:
Brian Paxton .
["A Calculus for the Construction of Modular Prolog Programs",
D. Sannella et al, J Logic Prog 12:147-177 (1992)].
(1994-10-25)
|
modular sb-prolog
(foldoc) | Modular Prolog
Modular SB-Prolog
An interpreter for SB-Prolog version 3.1 extended with
ML-style modules. Runs on SPARC. Distributed under
GNU General Public License.
(ftp://ftp.dcs.ed.ac.uk/pub/dts/mod-prolog.tar.Z). E-mail:
Brian Paxton .
["A Calculus for the Construction of Modular Prolog Programs",
D. Sannella et al, J Logic Prog 12:147-177 (1992)].
(1994-10-25)
|
mu-prolog
(foldoc) | MU-Prolog
Prolog with "wait" declarations for
coroutining, developed by L. Naish of the {Univeristy of
Melbourne} in 1982.
["Negation and Control in Prolog", L. Naish, TR 85/12, U
Melbourne (1985)]. See NU-Prolog.
(1998-02-14)
|
multi-binprolog
(foldoc) | Multi-BinProlog
A multi-threaded Linda-style parallel extension
to BinProlog for Solaris 2.3.
Version: 3.30.
(1995-04-04)
|
n-prolog
(foldoc) | N-Prolog
Prolog extended with explicit negation. Dov Gabbay
.
[J Logic Programming].
|
nu-prolog
(foldoc) | NU-Prolog
L. Naish, U Melbourne. A Prolog with 'when' declarations, the
successor to MU-Prolog. Type-checked. "NU-Prolog Reference
Manual - Version 1.3", J.A. Thom et al eds, TR 86/10, U
Melbourne (1988). Available (but not free). (See
PNU-Prolog). E-mail: .
|
objvprolog
(foldoc) | ObjVProlog
Logic programming and object-orientation, an adaptation of
the ObjVlisp model to Prolog.
["ObjVProlog: Metaclasses in Logic", J. Malenfant, ECOOP '89,
Cambridge U Press 1989, pp.257-269].
|
open prolog
(foldoc) | Open Prolog
Prolog for the Macintosh by Michael Brady
.
(http://cs.tcd.ie/open-prolog/).
[Details?]
(2000-12-21)
|
p-prolog
(foldoc) | P-Prolog
A parallel logic language.
["P-Prolog: A Parallel Logic Language Based on Exclusive
Relation", R. Yang et al, Third Intl Conf on Logic Prog, 1986,
pp. 255-269].
(1994-11-18)
|
pdc prolog
(foldoc) | PDC Prolog
Prolog Development Centre Prolog. A Prolog evolved from
Turbo Prolog by the original authors.
|
pnu-prolog
(foldoc) | PNU-Prolog
A parallel extension of NU-Prolog, implemented as a
preproccessor.
(ftp://munnari.oz.au/pub/bebop.tar.Z).
|
prolog
(foldoc) | 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)
|
prolog++
(foldoc) | 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.
|
prolog-2
(foldoc) | Prolog-2
An implementation of Edinburgh Prolog by Nick Henfrey, ESL.
["An Advanced Logic Programming Language", Anthony Dodd].
|
prolog-d-linda
(foldoc) | Prolog-D-Linda
Embeds the Linda parallel paradigm into SISCtus Prolog.
(ftp://ftp.cs.uwa.au/). E-mail: .
|
prolog-ii
(foldoc) | Prolog-II
Prolog with two new predicates: "dif" for coroutines and
"freeze" for delayed evaluation.
Available from ExperIntelligence, Santa Barbara CA.
["Prolog II Reference Manual and Theoretical Model",
A. Colmerauer, Internal Report, GroupeIA, U Aix-Marseille (Oct
1982)].
|
prolog-iii
(foldoc) | Prolog-III
A. Colmerauer, U Aix-Marseille, ca 1984. Marseille Prolog,
with unification replaced by constraint resolution. [deferred
goals too?] (Not to be confused with Prolog 3, a commercial
product?)
Version 1.2 for MS-DOS.
["Opening the Prolog-III Universe", BYTE 12(9):177-182 (Aug
1987)].
["An Introduction to Prolog III", A. Colmerauer, CACM
33(7):69-90 (1990)].
|
prolog-linda
(foldoc) | Prolog-Linda
1. Prolog extended with Linda-style parallelism. Proc 4th
Australian Conf on Artif Intell.
(ftp://bison.cs.uwa.oz.au/).
2. Neil MacDonald, U Edinburgh 1989. Another Prolog extended
with Linda, implemented on a Computing Surface.
|
prolog/mali
(foldoc) | Prolog/Mali
(PM) Lambda-Prolog for the MALI-V06 abstract
memory system, developed by Pascal Brisset at IRISA, France.
There is a compiler which compiles to C, a linker,
libraries, run-time system, and documentation. It runs
under Unix.
(ftp://ftp.irisa.fr/pm/).
Mailing list: prolog-mali-request@irisa.fr. E-mail:
.
(1992-07-06)
|
qu-prolog
(foldoc) | Qu-Prolog
An extension of Prolog which performs {meta-level
computations} over object languages, such as {predicate
calculi} and lambda-calculi, which have object-level
variables, and quantifiers that create local scopes for
those variables. Qu-Prolog is well suited as an implementation
language for theorem provers and support notations typically
found in texts on mathematics and logic.
|
quintus prolog
(foldoc) | Quintus Prolog
A version of Prolog developed by
Quintus. Development of Quintus Prolog had transferred to
the Swedish Institute of Computer Science by December 1998.
(ftp://ftp.quintus.com/).
Telephone: +1 (800) 542 1283.
[More details? Features?]
(1998-12-12)
|
sb-prolog
(foldoc) | SB-Prolog
Stony Brook Prolog. A public domain Prolog interpreter
for Unix. Version 3.1. Distributed under the GNU
General Public License.
(ftp://sbcs.sunysb.edu/pub/sbprolog/).
{Amiga version 2.3.2
(ftp://ftp.cso.uiuc.edu/amiga/fish/f1/ff140)} and
(ftp://ftp.cso.uiuc.edu/amiga/fish/f1/ff141).
E-mail: .
(1995-01-16)
|
sicstus prolog
(foldoc) | SICStus Prolog
A Prolog from the SICS (Swedish Inst of Comp Sci).
E-mail: .
Mailing list: sicstus-users@sics.se.
(1995-01-05)
|
swi-prolog
(foldoc) | SWI-Prolog
A Prolog by Jan Wielemaker
like a superset of Edinburgh Prolog.
Version 1.7.2. Docking Station is distributed under {General
Public License}. It runs on Sun-4, Sun-3, Linux, DEC
MIPS (incomplete), RS/6000, PS2/AIX, Atari ST,
Gould PN, NeXT, VAX, HP-UX (problems), MS-DOS, and
OS/2.
(ftp://swi.psy.uva.nl/pub/SWI-Prolog).
OS/2 (ftp://mpii02999.ag2.mpi-sb.mpg.de/pub/toolw/SWI/).
Mailing list: prolog-request@swi.psy.uva.nl.
(2000-03-23)
|
turbo prolog
(foldoc) | Turbo Prolog
A strongly typed Prolog-like logic programming language.
1986. It has user-defined domains. Programs are arranged in
sections: DOMAINS, CLAUSES, PREDICATES, DATABASE and GOAL. It
is currently known as PDC Prolog and is distributed by
Prolog Development Center, Atlanta +1 404 873 1366. E-mail:
.
|
typedprolog
(foldoc) | TypedProlog
A strongly typed logic programming language.
(1995-03-25)
|
upmail tricia prolog
(foldoc) | UPMAIL Tricia Prolog
(ftp://ftp.csd.uu.se/pub/Tricia/README).
E-mail: .
[Description?]
(1994-10-27)
|
prolog
(vera) | PROLOG
PROgramming in LOGic
|
|