Gourt > Computers > Programming > Languages > Prolog (2)
Prolog is a logic programming language. The name Prolog is taken from programmation en logique (French for "programming in logic"). It was created by Alain Colmerauer and Robert Kowalski around 1972 as an alternative to the American-dominated Lisp programming languages. It is an attempt to make a programming language that enables the expression of logic instead of carefully specified instructions on the computer. In some ways Prolog is a subset of Planner, e.g., see Kowalski's early history of logic programming. The ideas in Planner were later further developed in the Scientific Community Metaphor.
Prolog is used in many artificial intelligence programs and in computational linguistics (especially natural language processing, which it was originally designed for). Its syntax and semantics are considered very simple and clear. (The original goal was to provide a tool for computer-illiterate linguists.) A lot of the research leading up to modern implementations of Prolog came from spin-off effects caused by the fifth generation computer systems project (FGCS) which chose to use a variant of Prolog named Kernel Language for their operating system (but this area of research is now actually almost defunct).
Prolog is based on first-order predicate calculus; however it is restricted to allow only Horn clauses. See Logic programming for a discussion of the relationship of Prolog to mathematical logic. Execution of a Prolog program is effectively an application of theorem proving by first-order resolution. Fundamental concepts are unification, tail recursion, and backtracking.
More on [ Prolog ]
Compiled :: Languages
Constraint :: Languages
Garbage Collected :: Languages
Constraint Logic :: Logic based
Open Source :: Languages
Reflective :: Languages
~ @justinsheehy @mojombo the principal flaw of Erlang syntax is confusion for experienced Prolog programmers.
Brian_Sniffen (Brian Sniffen) Tue, 22 Dec 2009 19:30:46 -0000
~ @justinsheehy @mojombo the principal flaw of Erlang syntax is confusion for experienced Prolog programmers.
Que isso.. #Prolog é bacana demais... Estou que nem criança quando ganha um brinquedo novo.. mechendo aqui com prolog.. =D
rogeriojunior (Rogério Júnior) Tue, 22 Dec 2009 19:25:44 -0000
Que isso.. #Prolog é bacana demais... Estou que nem criança quando ganha um brinquedo novo.. mechendo aqui com prolog.. =D
@mojombo Zip up, man. Your Prolog wiener is showing. :-)
jerrykuch (jerry
404
An Introduction to PROLOG - Prolog tutorials by James Power. Revised Alex Monaghan.
An introduction to Prolog - A short introduction to Prolog by Michel Loiseleur and Nicolas Vigier.
Meta Description: [ An introduction to Prolog programming by 2 students from Epita : a french science computer school. ]
BinNet Corp. - C/C++ and Java based Prolog Compilers and Prolog based Internet Programming tools.
Meta Description: [ innovative software development specializing in Java and Prolog based Internet programming and Intelligent Mobile Agent building tools ]
Cetus Links: Prolog - This collection of non-commercial links treats Prolog within the context of object- and component-orientation.
Meta Description: [ Cetus Links: 18,452 Links on Objects and Components / Prolog ]
404
clp(FD) - This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler.
Course on Prolog - A concise, example-based introduction to Prolog for people from the humanities. Uses the freely-available Prolog+CG as the example implementation.
Early History of Prolog - Draft of a paper in History of Programming Languages, edited by Thomas J. Bergin and Richard G. Gibson, ACM. Abstract and PDF.
Hello, World program - For Prolog.
INAP2001 - 14th International Conference of Applications of Prolog. University of Tokyo, Japan, October 20 - 22, 2001.
Meta Description: [ /inap2001/ http://www.ifcomputer.com (c)IF Computer Japan 1996,2006 ]
Is the ISO Prolog standard taken seriously - article by Roberto Bagnara.
JIPL: Java Interface for Prolog - Interface between Java and Prolog through JNI and reflection.
Logic Programming 3D Site - The main idea of this Site is 3D (VRML) representation of the World Wide Web. The Site describes the area of logic programming and Prolog. All the information was collected by Actor Prolog agents.
Logic Programming Associates - This software house supplies WIN-PROLOG, MacProlog32 and Prolog++.
OOPWeb - Prolog Directory - Prolog programming tutorial and online book.
Meta Description: [ Prolog lecture notes, courses, tutorials, references, guides and online books. All of these are published at the Prolog Directory , allowing quick access and accurate search. ]
PC AI: The Prolog Programming Language - Explanations, links.
Meta Description: [ Real World Artificial Intelligence applications including rule-based systems, knowledge, logic, expert systems, agents, NLP, data mining, learning, speech and vision. ]
PiLLoW - Programming in Logic Languages on the Web (PiLLoW) is a public-domain library for developing Web applications using (constraint) logic programming. It constitutes part of the Ciao Prolog development system.
ProFIT: Gregor Erbach - Research scientist, studies: grammar formalisms, parsing algorithms, grammar checking, cross-language text retrieval. ProFIT author.
Meta Description: [ Homepage of the Department of
Computational Linguistics and Phonetics at the University of the
Saarland in Saarbrücken, Germany ]
Prolog :- Tutorial - From basics to advanced topics tutorial by J.R.Fisher.
Prolog for Artificial Intelligence - Open Source AI projects in Prolog.
Meta Description: [ Using the AI4U textbook to create artificial Minds in Prolog for robots. ]
Prolog for Beginners - A comparison of several Prolog systems from a beginners perspective
Meta Description: [ Frank Bergmann ]
Prolog Parsers - A study of the efficiency of various parsing techniches in Prolog, e.g. top-down, bottom-up, oracles, prediction, left-corner, chart. Also a comparison with Lisp. Examples in Prolog and Lisp.
Meta Description: [ Discussion of the main parsing techniques:
shift-reduce parsing, left-corner parsing, and chart parsing.
Comparison of Lisp and Prolog ]
Prolog Resource Guide - The complete FAQs from news:comp.lang.prolog
Prolog Wikibook - A wiki based based book on Prolog.
ResearchIndex: Complete Logic Systems, Inc, September 1987. 80. D.H.D. Warren - Prolog Instruction Set, Technical Note, SRI International Artificial Intelligence Center, D.S. Warren, S. Dietrich, F. Pereira. The SB Prolog System, SUNY at Stony Brook. Several references for this Prolog.
Meta Description: [ Bibliographic references of Can Logic Programming Execute as Fast as Imperative Programming? Van Roy ]
Simple Text Parser - An implementation of a parser in LPA Prolog as well as a report about this parser.
Simply Logical - Intelligent Reasoning by Example.
Techref - Prolog - The Techref page regarding Prolog. Word Prolog meanings. Links.
Very Basic Natural Language Processing with LPA PROLOG - This website shows how simple natural language processing can be implemented in LPA Prolog.
Warren's Abstract Machine: A tutorial reconstruction - Online book by Hassan Ait-Kaci. The WAM is an abstract machine tailored to Prolog. It can be realised efficiently on a wide range of hardware, and serves as a target for portable Prolog compilers.
| Mother 3 German Playthrough - Prologue 1/2 | |
| Next Video | |
