Programming Language - Prolog

Prolog

Prolog - PROgrammation en LOGique. Alain Colmerauer and Phillipe Roussel,
U Aix-Marseille 1971. First implemented 1972 in ALGOL-W. Designed
originally for natural-language processing. LUSH (or SLD) resolution
theorem proving based on the unification algorithm. No user-defined
functions, and no control structure other than the built-in depth-first
search with backtracking. "Programming in Prolog", W.F. Clocksin & C.S.
Mellish, Springer 1985. Early collaboration between Marseille and R.
Kowalski at U Edinburgh continued until about 1975.
C-Prolog - F. Pereira et al, Jul 1982. An
implementation of Prolog in C. No garbage collection. Not PD.
SB-Prolog - Stony Brook Prolog. PD Prolog implementation for Unix.
ftp://sbcs.sunysb.edu/pub/sbprolog/v3.0
//ftp.cso.uiuc.edu/amiga/fish/f1/ff140 and ff141 Amiga version 2.3.2
LM-Prolog - Lisp Machine Prolog. K. Kahn et al, 1983. "LM-Prolog User
Manual", M. Carlsson et al, Uppsala Dec 1983.
ftp://sics.se/archive/lm-prolog.tar.Z - Prolog interpreter in Zetalisp
Other implementations:
ftp://cpsc.ucalgary.ca/pub/prolog1.1 - Prolog interpreter in Scheme
//aisun1.ai.uga.edu/ai.prolog/eslpdpro.zip - ESL Prolog for MS-DOS
//aisun1.ai.uga.edu/ai.prolog/? - Open Prolog for Mac
//cs.utah.edu/pub/frolic.tar.Z - Prolog interpreter in Common LISP.
//ai.uga.edu/ai.prolog.standard - Draft ISO standard
//ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/wamcc -
Prolog to C translator via the WAM

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

14 plus 1? *   Robot Spam Prevention

 

Next Language:   Prolog-2

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z