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
Gartner Revises Server Share Numbers
Thu, 03 Jul 2008 18:43:24 -0400
Gartner revised its first quarter numbers and found that IBM actually beat out Hewlett-Packard in server revenue....
Who Is Running The Most Secure Browser?
Thu, 03 Jul 2008 14:03:13 -0400
Many users are undoubtedly not updating their browsers as quickly as they should, but you can't conclude any specifics about that from the recent study of Google logs....
DOJ Sued Over Cell Phone Tracking Practices
Wed, 02 Jul 2008 17:08:34 -0400
Civil liberties groups claim the Justice Department is bypassing warrants to obtain real-time tracking information on U.S. citizens....
Microsoft Internet Explorer Security Strikes Back
Wed, 02 Jul 2008 17:03:53 -0400
Microsoft Internet Explorer 8 Beta 2 security builds on the Phishing Filter of IE 7 and thwarts cross-site scripting....
IBM Helps Link POS to the Back Office
Wed, 02 Jul 2008 16:50:30 -0400
IBM and Epicor jointly release an offering that centrally manages and supports POS....
The Seattle Times: Business & Technology
Strike slows downtown construction projects
Thu, 03 Jul 2008 01:39:21 -0700
A strike has shut down or slowed work at some of the Seattle area's largest construction projects.
Investors sweeten Puget Sound Energy sale for public
Wed, 02 Jul 2008 21:57:36 -0700
Backers of a sale of the state's largest utility company, Puget Energy, offered Wednesday to sweeten the proposed deal for consumers by taking $100 million off any potential rate increases over the next 10 years.
Employers cut jobs for sixth straight month
Thu, 03 Jul 2008 10:50:59 -0700
Employers cut payrolls by 62,000 in June, the sixth straight month of nationwide job losses, underscoring the economy's fragile state. The unemployment rate held...
NYT > Technology
Judge Orders Google to Turn Over YouTube Records
Thu, 03 Jul 2008 22:38:40 -0000
The order raised concerns that the online video viewing habits of tens of millions of people could be exposed.
Bits: Justice Looks Further at Google-Yahoo Deal
Thu, 03 Jul 2008 10:04:14 -0000
The Justice Department’s antitrust division has begun issuing subpoenas as it probes further into whether a planned Google-Yahoo partnership in search advertising is anticompetitive.
Bits: What Is Facebook Worth? (Part 37)
Thu, 03 Jul 2008 22:12:43 -0000
A document in the settled Facebook ConnectU litigation reveals that Facebook’s common shares are worth a quarter of the value of the stock Microsoft purchased when it invested in the social network.
CNN.com - Technology
Judge orders YouTube to reveal its viewers
Thu, 03 Jul 2008 17:53:41 -0400
Read full story for latest details.
Microsoft may refresh Yahoo bid
Thu, 03 Jul 2008 11:42:37 -0400
Read full story for latest details.
Create new agency to study planet, group says
Thu, 03 Jul 2008 15:05:29 -0400
Read full story for latest details.
NPR Topics: Technology
Twitter, What Are You Doing? Co-Founder Tells All
Thu, 03 Jul 2008 10:51:00 -0400
Twitter.com has so many new users that the Web site keeps crashing. Meanwhile, Twitter engineers are taking popular features away for retooling. It's a painful process, but co-founder Biz Stone has a plan.
Young Moroccans Bypass Mainstream Media
Wed, 02 Jul 2008 10:00:00 -0400
When protesters in southern Morocco clashed with security forces, there was very little coverage from state-run television stations. But amateur video posted on YouTube showed what the official media would not. Young Moroccans say the Web is leaving traditional media behind.
Would a Ban on Car Conversation Be More Effective?
Tue, 01 Jul 2008 13:00:00 -0400
California and Washington join the long list of states to ban handheld cell phone use while driving. It's the conversation, not the phone, that's distracting, research says. Do these laws really make our roads safer?
BBC News | Technology | UK Edition
Google must divulge YouTube log
Thu, 03 Jul 2008 20:19:53 -0000
Google must divulge the viewing habits of every user who has ever watched avideo on YouTube, says a US court.
Warning letters to 'file-sharers'
Thu, 03 Jul 2008 17:41:04 -0000
The music industry says thousands of UK broadband users who share tracks illegally will be warned about it in letters.
Firefox download record official
Thu, 03 Jul 2008 00:28:35 -0000
The creators of Firefox 3.0 celebrate the news they have set a new world record for software downloads.
Reuters Video: Technology
Robo barman pulls first pint
Thu, 03 Jul 2008 09:03:25 -0400
Jul. 3 - Billed as the world's first robot barman, Mr Asahi pulls the crowds at London's Selfridges department store.
Tongue device to aid disabled
Mon, 30 Jun 2008 15:45:45 -0400
Jun. 30 - A new device that uses a tiny magnet can help disabled people steer a wheelchair or operate a computer using only the tip of the tongue.
MSN portal goes 'social'
Mon, 30 Jun 2008 14:10:23 -0400
Jun. 30 - Microsoft is announcing new services intended to reflect the social phenomenon taking place on the internet.
AP Top Technology News At 5 p.m. EDT
Court orders YouTube to give Viacom video logs
By ANICK JESDANUN Thu, 03 Jul 2008 19:57:36 -0000
NEW YORK (AP) -- Dismissing privacy concerns, a federal judge overseeing a $1 billion copyright-infringement lawsuit against YouTube has ordered the popular online video-sharing service to disclose who watches which video clips and when....
Internet addressing agency loses its own addresses
Thu, 03 Jul 2008 20:57:41 -0000
NEW YORK (AP) -- This doesn't sound good: The nonprofit agency in charge of the Internet's addresses recently lost track of its own....
Police wnt u to fight crime w/txt msgs
By MITCH STACY Wed, 02 Jul 2008 18:35:43 -0000
TAMPA, Fla. (AP) -- Police in the 1970s urged citizens to "drop a dime" in a pay phone to report crimes anonymously. Now in an increasing number of cities, tipsters are being invited to use their thumbs - to identify criminals using text messages....
CNET News.com
EA debuts new family, sports games for Wii, PlayStation
Thu, 03 Jul 2008 15:32:00 -0700
After its pairing with board game maker Hasbro, EA shows off its new family-oriented games and an "All-Play" series for Wii.
Video: Latest in Viacom-Google lawsuit raises questions
Thu, 03 Jul 2008 14:48:00 -0700
News.com's Dan Farber tells what's at stake for users' privacy as a result of a federal judge's ruling that Google must turn data over to Viacom.
Researcher faults Apple iPhone on security updates
Thu, 03 Jul 2008 14:22:00 -0700
He says iPhone, still at version 1.1.4, is at least four months behind desktop OS in patching many known Mac OS X security vulnerabilities.
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.
| Ich hab die 1. Call of Duty 4 Singleplayer Mission im Prolog: Der Neue aufgenommen, um euch zu helfen, oder just for Fun ... | |
| Next Video | |
