|
|
 |
|
|
|
Prolog Compilers|
Prolog Environments|
Prolog Examples|
Prolog Books|
Prolog FAQ|
Contact
|
|
Prolog is a declarative programming language based on predicate calculus. It was created was by Alain Colmerauer in 1970, as an attempt to create a language that enabled the expression of logic instead of a step by step procedure.
Prolog is particularly well-suited to express complex ideas and is the language of choice for many applications in artificial intelligence. It is particularly suited for expert systems and natural language parsers and, in general, for any system based on knowledge representation and problem solving.
From the programmer's perspective Prolog is very different from traditional languages. The drudgery of memory management, stack pointers etc. is left to the computational engine and the programmer is free to concentrate on the logical description of the problem. So, rather than conceiving a procedural way of solving the problem itself, the Prolog programmer focuses on representing a knowledge domain, leaving to the Prolog engine the task of finding solutions for any problem arising in that domain.
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 which chose to use a variant of Prolog, named Kernel Language, for their operating system.
|
|
|
| A 50m development proposal for Sudbury has been given the go ahead more than a year after plans were first submitted. ... more info |
|
| THE chief executive of the company behind a 50m development proposal for Sudbury has told of his hope that the project could finally get the go ahead. ... more info |
|
| Russia's leading anti-malware company, Kaspersky Lab, planned to invest 10 million U.S. dollars in the Chinese software market, Moscow's RBC Daily reported Tuesday. The company would develop its Nanosemantics artificial intelligence (AI) project in China ... ... more info |
|
| The human brain operates as a highly interconnected small-world network, not as a collection of discrete regions as previously believed, with important implications for why many of us experience cognitive declines in old age, a new study shows. Australian ... ... more info |
|
| A computer system that can directly and precisely answer natural language questions over an open and broad range of knowledge has been envisioned by scientists and writers since the advent of computers themselves, according to IBM; consider, for example ... ... more info |
|
| Dubai: Roll up, roll up, you have until March 21 (although these deadlines are prone to extension) to get into the latest MAN IP220 offering. That's the "buy now, whilst stocks last" feature of the closed-end fund scene. The question is: should you roll up ... ... more info |
|
| Durham, NC -- Vincent Conitzer , assistant professor of computer science and economics at Duke, has been awarded the 2011 Computers and Thoughts Award by the International Joint Conferences on Artificial Intelligence (IJCAI). The IJCAI 2011 Computers and ... ... more info |
| 2011-01-24 15:04:58 - A Coventry-based organisation could be set to revolutionise business after developing software known as intelliFor which uses artificial intelligence to predict the future. Centre for Factories of the Future (C4FF), which is based at ... ... more info |
|
| Artificial intelligence is about to be put to the test in a trial that could reveal just how far researchers have come in designing computers that can "think" like human beings: On Jan. 13, a computer designed by IBM will take on two former Jeopardy ... ... more info |
| |
|
