[permalink] [id link]
Prolog gave rise to the programming languages ALF, Fril, Gödel, Mercury, Oz, Ciao, Visual Prolog, XSB, and λProlog, as well as a variety of concurrent logic programming languages ( see Shapiro ( 1989 ) for a survey ), constraint logic programming languages and datalog.
from
Wikipedia
Some Related Sentences
Prolog and programming
; Poplog: Poplog implements a version of CL, with POP-11, and optionally Prolog, and Standard ML ( SML ), allowing mixed language programming.
The initial version of Erlang was implemented in Prolog and was influenced by the programming language PLEX used in earlier Ericsson exchanges.
Kernel Language 0 ( KL0 ) is a sequential logic programming language based on Prolog, used in the ICOT Fifth generation computer project.
Category: Prolog programming language family
Category: Prolog programming language family
Kowalski collaborated with Colmerauer in Marseille, who developed these ideas in the design and implementation of the programming language Prolog.
The programming language Prolog was developed in 1972 by Alain Colmerauer.
The use of Prolog as a practical programming language was given great momentum by the development of a compiler by David Warren in Edinburgh in 1977.
Experiments demonstrated that Edinburgh Prolog could compete with the processing speed of other symbolic programming languages such as Lisp.
Mercury is based on the logic programming language Prolog.
* Prolog, designed in 1972, was the first logic programming language.
Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.
Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of relations, represented as facts and rules.
Prolog was one of the first logic programming languages, and remains the most popular among such languages today, with many free and commercial implementations available.
This makes Prolog ( and other logic programming languages ) particularly useful for database, symbolic mathematics, and language parsing applications.
SNOBOL4 pattern-matching uses a backtracking algorithm similar to that used in the logic programming language Prolog, which provides pattern-like constructs via DCGs.
** Logic programming languages such as Prolog.
* YAP – Yet Another Prolog, an implementation of the Prolog programming language
Prolog and languages
* Programming languages: C, C ++, Objective-C, Fortran, Perl, Python, Ruby, Tcl, Ada, CLISP, Scheme, OCaml, Prolog
The development of expert systems was aided by the development of the symbolic processing languages Lisp and Prolog.
In languages such as Prolog, mutual recursion is almost unavoidable.
There are also languages, such as Haskell, Prolog and Go, in which the capitalization of an identifier encodes information about its semantics.
Poplog is a reflective, incrementally compiled software development environment for the programming languages POP-11, Common Lisp, Prolog, and Standard ML, originally created in the UK for teaching and research in artificial intelligence at the University of Sussex.
After an incremental compiler for Prolog had been added to an implementation of POP-11, the name Poplog was adopted, to reflect the fact that it supported programming in both languages.
Systems based on functional languages such as Lisp hence need to include a subsystem for the representation of logical assertions, while logic oriented systems such as those using the language Prolog generally rely on an extension of the built in logical representation framework.
Reification, at least partially, has been experienced in many languages to date: in early Lisp dialects and in current Prolog dialects, programs have been treated as data, although the causal connection has often been left to the responsibility of the programmer.
It is also the basis of the so-called logic programming languages such as Icon, Planner and Prolog.
* Logic programming languages such as Icon, Planner and Prolog, which use backtracking internally to generate answers.
Since all three modules were implemented as Prolog programs, it would then in principle be possible to put this structure backwards through the corresponding modules for another language to produce a translated text in any of the other languages.
There are some languages that have a particularly nice and elegant self-interpreter, such as Lisp or Prolog.
Prolog and Mercury
Due to the use of information obtained at compile time ( such as type and mode information ), programs written in Mercury typically perform significantly faster than equivalent programs written in Prolog.
Mercury is a purely declarative language, unlike Prolog, since it lacks " extra-logical " Prolog statements such as " cut " and imperative I / O.
* Mercury: Prolog mtogl
Prolog, OPS5, and Mercury are examples of fifth-generation languages.
Prolog and Oz
These started with Prolog with Freeze and IC Prolog, and became a true concurrency primitive with Relational Language, Concurrent Prolog, Guarded Horn Clauses ( GHC ), Parlog, Vulcan, Janus, Mozart / Oz, Flow Java, and Alice ML.
Prolog and Ciao
** SWI-Prolog, Yap Prolog, XSB, Ciao
Prolog and Visual
* Turbo Prolog ( now Visual Prolog )
Visual Prolog Video Tutorial demonstrates basic IDE features while creating a Visual Prolog " Hello World!
* Visual Prolog commercial edition
# redirect Visual Prolog
* Visual Prolog
* Visual Prolog
Visual Prolog, also formerly known as PDC Prolog and Turbo Prolog, is a strongly typed object-oriented extension of Prolog.
Visual Prolog can build Microsoft Windows GUI-applications, console applications, DLLs ( dynamic link libraries ), and CGI-programs.
Visual Prolog is compiled rather than interpreted, as is traditional for logic languages.
The core of Visual Prolog are Horn clauses, pattern matching and controlled non-determinism like in traditional Prolog, but unlike traditional Prolog, Visual Prolog has always been strongly and statically typed.
0.402 seconds.