|
|
 |
|
|
|
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.
|
|
|
| Prolog is useful in figuring out the nooks and crannies of object-oriented programming languages Visit website for full story... ... more info |
|
| It took the people at I.B.M. three years of research but they finally created a supercomputer named Watson. While it was in the development stage they programmed it with facts from tens of millions of documents that it ... ... more info |
| We’ve all seen them: those under-dressed, over-exposed victims of the sun that don’t seem to worry too much about the damage they are causing to their own skin. You can picture them can’t you? It’s almost strange ... ... more info |
| Prolog is useful in figuring out the nooks and crannies of object-oriented programming languages Visit website for full story... ... more info |
| In recent columns, I’ve praised the low-level pleasures of assembly language and C. My argument is that, even if you never use these languages professionally, it’s important to broaden your mind and problem-solving ... ... more info |
| In recent columns, I’ve praised the low-level pleasures of assembly language and C. My argument is that, even if you never use these languages professionally, it’s important to broaden your mind and problem-solving ... ... more info |
| In the 1950s and ’60s, artificial-intelligence researchers saw themselves as trying to uncover the rules of thought. But those rules turned out to be way more complicated than anyone had imagined. Since then ... ... more info |
| If you've ever tried to conduct a customer service transaction through one of the automated virtual agents many companies have deployed, you no doubt have had trouble being understood. But a new technology is applying ... ... more info |
| Rapid Adapt, from VirtuOz, aims to help virtual-agent technology learn and improve on the fly, and in the process, make each new customer's experience better than the last. ... more info |
| In the 1950s and 60s, artificial-intelligence researchers saw themselves as trying to uncover the rules of thought. But those rules turned out to be way more complicated than anyone had imagined. Since then, artificial-intelligence (AI) research ... ... more info |
| The AudRecog mind-module for auditory recognition in artificial intelligence (AI) tests user input one character or phoneme at a time to recognize words and morphemes that will activate a concept in the AI Mind or extract meaning from an idea. When ...
... more info |
|
| There is an increasing usage of ion mobility-mass spectrometry (IMMS) in proteomics. IMMS combines the features of ion mobility spectrometry (IMS) and mass spectrometry (MS). It separates and detects peptide ions on a millisecond time-scale. IMS ... ... more info |
|
| In their far-fetched visions they devise an omnipotent steam-powered artificial intelligence that is destined to end war and all of humanity's miseries. The show fuses traditional American folk, Brechtian choral elements, and The Lisps' own brand of ... ... more info |
|
| New understanding of degeneration of brain cells in patients with Alzheimer's, Huntington's, and Parkinson's diseases (2) Yinka wrote: I want to study the degeneration of brain cells, s… [More] Circumcision can protect from HIV transmission ... ... more info |
|
| That's hard to say. [Mathematician and scientist Alan] Turing, I believe, thought his test would be passed by 2050. I suppose that by 2100 we'll have human equivalent or superior machines. Ray Kurzweil, futurist 2050? That's past the Singularity [the ... ... more info |
|
| With the Apple iPad tablet set to launch this month, silicon.com readers couldn't get enough of Cupertino's latest creation, with our Apple iPad Cheat Sheet one of the most read stories last month. And while consumers debated the merits of the device ... ... more info |
|
| Mechanical engineering junior Richard Margolin, left, and Hanson Robotics senior mechanical engineer Kevin Carpenter, adjust the eye mechanics on the Zeno robot in fall 2008 in Richardson. According to the Hanson Robotics website, Zeno will be the ... ... more info |
| The field of artificial-intelligence research (AI), founded more than 50 years ago, seems to many researchers to have spent much of that time wandering in the wilderness, swapping hugely ambitious goals for a relatively modest set of actual ... ... more info |
|
| A University of Exeter PhD student has used artificial intelligence to shed new light on the behaviour of bumble bees. Daniel Chalk developed the computer model to understand the potential for bees to cross-pollinate between GM and non-GM crops. The ... ... more info |
|
| All polypeptide backbones have the potential to form amyloid fibrils, which are associated with a number of degenerative disorders. However, the likelihood that amyloidosis would actually occur under physiological conditions depends largely on the ... ... more info |
|
| It's more than half a century since US computer scientist John McCarthy came up with the term "artificial intelligence" while working as an assistant professor of mathematics at Dartmouth College in New Hampshire. It was 1955 and Dwight Eisenhower ... ... more info |
|
| The discipline of artificial intelligence (AI) has existed for decades but questions around the nature of intelligence itself still dog the field to this day. Is intelligence really just another artefact that can be designed, engineered and ... ... more info |
|
| Whether it's built from steel plate and circuit boards or slabs of reanimated flesh, if a robot has artificial intelligence, according to the cultural myth, that machine has the ability to be a monster. Sometimes the AI's problem is that it's not ... ... more info |
| In mid-2008, the AI Game Programmers Guild (AIGPG) was born.While there were plenty of other noble goals on the agenda, our first majorpublic undertaking was setting up the AI Summit at the 2009 GDC. It was ouropinion that, with the improvement of AI ... ... more info |
| AS the global economy limps out of the last decade and enters a new one in 2010, what will be the next big driver of global growth? Here's betting that the "teens" is a decade in which artificial intelligence hits escape velocity, and starts to have ... ... more info |
| GREEN FINGERS: Josh Patterson "builds'' plants and foliage for movies. He made the pohutukawa tree he is holding at his Matangi property. A Waikato man played a key role in creating the fictional world that is dazzling audiences in the hit movie ... ... more info |
|
| NEW YORK - As a child Ray Solomonoff developed what would become a lifelong passion for mathematical theorems, and as a teenager he became captivated with the idea of developing machines that could learn and ultimately think. In 1952 he met Marvin ... ... more info |
| We've all got a very sophisticated processing unit – the brain – that can perform some remarkable tasks. Despite their speed and memory capacity, silicon-based computers struggle to emulate it. The branch of computer science called Artificial ... ... more info |
| Valve has begun testing new artificial intelligence bots able to replicate real-life player reactions on its multiplayer shooter Team Fortress 2 . Writing on the Team Fortress 2 blog, Valve developer Mike Booth revealed that the computer-controlled ... ... more info |
|
| Seymour Papert , visionary computer scientist and innovative developer of educational theory and technology, misses the good old days of "big ideas" about the nature of knowledge and human learning, he told a gathering in Bartos Theatre on July 9. "I ... ... more info |
|
| Turning Trash into Gold - Artificial Intelligence, Optical Character Recognition and Image Analysis Paves the Way -- New technologies help analysts sift through damaged information for valuable data to support Port and Maritime Security issues A Port ... ... more info |
|
| Dec 10, 2009 (The Daily News - McClatchy-Tribune Information Services via COMTEX) -- Go ahead and call your neighbors. They won't need to water your plants anymore. That's because at say, 5 p.m., a robot built by a duo of Western Kentucky University ... ... more info |
| Go ahead and call your neighbors. They won’t need to water your plants anymore. That’s because at say, 5 p.m., a robot built by a duo of Western Kentucky University students will know it’s time to hydrate the hydrangeas and will independently ... ... more info |
| The Massachusetts Institute of Technology (MIT) is looking to re-ignite the development of artificial intelligence (AI) by 'going back and fixing mistakes', something that sounds like it came straight out of a movie. Sadly, however, no one is ... ... more info |
|
| STANFORD: The personal computer and the technologies that led to the Internet were largely invented in the 1960s and '70s at three computer research laboratories next to the Stanford University campus. One laboratory, Douglas Engelbart’s ... ... more info |
|
| Facing opposition from Edgewood residents, Harford County Executive David R. Craig has pulled the bill to have the county purchase Prologis Park, a 113-acre lot in Edgewood. Craig made the announcement hours before a County Council meeting Monday at ... ... more info |
|
| As a Dallas county hospital that reports both to a Board of Managers and the public, Parkland chose to purchase Prolog This enables Parkland to standardize on one construction project management system of record to increase visibility, transparency ... ... more info |
|
| The University of Rochester Medical Center (URMC) and Allocade, Inc., today announced the first installation and implementation of the On-Cue™ system in New York. URMC is utilizing the On-Cue software solution from Allocade to automate patient flow ... ... more info |
|
| IBM researchers have developed a cognitive computer simulation that mimics the way a cat brain processes thought, and they expect to be able to mimic human thought processes within a decade. "A cognitive computer could quickly and accurately put ... ... more info |
|
| Ever heard of a 'Cyborg Astrobiologist'? Probably not. But I bet you'll want to be one after learning that future exploration of Mars (and other planets , for that matter) may employ the use of artificial intelligence integrated into spacesuits to ... ... more info |
|
| Two 'astronauts' exploring a stream near the MDRS. Image credit: P.C. McGuire, arXiv:0910.5454. (PhysOrg.com) -- Astronauts may in future be wearing spacesuits equipped with artificial intelligence (AI) and digital eyes, turning them into what the ... ... more info |
| One of the things about space exploration, and exploring other planets directly is that everything needs to function as efficiently as possible. That is to say, since we don't have yet the technology to go to Mars on a daily basis, any trip we make ... ... more info |
| eviGroup is getting ready to unleash some information on their 10 inch Windows 7 based Tablet, that I believe is called simply The Pad. Yes, it has 3G connectivity, WiFi, the usual Atom chipset, touch, and all the rest, but it also has an option to ... ... more info |
|
| NumberCrunch LTD today announced the conclusion of the testing phase for NumberCrunch LTD's AUC1 advanced artificial intelligence algorithm in Hologic, Inc. (NASDAQ: HOLX) ImageChecker CAD (computer aided detection) mammography system. The patent ... ... more info |
|
| hi all, the balloon boy circus makes me think that maybe its a slow news week or something, so I was scrounging to come up with something not as much "ripped from the headlines" because the headlines are kinda bland/empty/vacuous it seems. over the ... ... more info |
|
| Robot "Octavia," featured in "Robotic Secrets Revealed," demonstrates cognitive robotics being developed at NRL. Credit: NRL Navy Center for Applied Research in Artificial Intelligence. Researchers at NRL's Navy Center for Applied Research in ... ... more info |
| In this design analysis, first published in the May 2009 issue of Game Developer magazine, Maxis designer Soren Johnson (Spore, Civilization IV) addresses the careful balance between smart AI and player perception that the game is cheating... ... more info |
|
| Robot "Octavia," featured in "Robotic Secrets Revealed," demonstrates cognitive robotics being developed at NRL. Credit: NRL Navy Center for Applied Research in Artificial Intelligence. Researchers at NRL's Navy Center for Applied Research in ... ... more info |
|
| Washington, August 29 : A series of experiments conducted as part of the Academy of Finland's Neuroscience Research Programme (NEURO) have shown that the brain uses the same neural networks to process both familiar and newly learnt words. In one ... ... more info |
|
| Aiko has the ability to identify objects, learn what new objects are, understand more than 13,000 sentences, and more. Image credit: Le Trung. (PhysOrg.com) -- In August 2007, Le Trung invented Aiko, a Yumecom, or "Dream Computer Robot." Although it ... ... more info |
|
| CHICAGO----Vancouver, Washington-based Event 1 Software, Inc. received a second Constructech Magazine Technology Enabler Award tonight recognizing Event 1 Software's customer Fairmont Pacific Rim/299 Burrard's use of the innovative tool for Project Managers, Integrator by Event 1 Software for Meridian Prolog Manager and Sage Timberline Office. ... more info |
|
| Digg Will intelligent , unmanned airborne and ground-based robotic vehicles equipped with missiles, bombs and guns pose a real threat to the general population in the future? There is a rising uneasiness about some of the perhaps unintended ... ... more info |
|
| WASHINGTON, D.C. July 28, 2009 -- When doctors are managing care for women with breast cancer, the information available to them profoundly influences the type of care they recommend. Knowing whether a woman's cancer has metastasized, for instance ... ... more info |
|
| Washington, July 29 (ANI): University of Chicago researchers have written a computer program that uses artificial intelligence to diagnose metastatic cancer. The researchers say that the software analyses the features of ultrasound images to help ... ... more info |
| A group of leading computer scientists plans to issue a statement addressing issues of technological advancements perceived capable of outsmarting man. The New York Times reported Sunday Eric Horvitz, president of the Association for the Advancement ... ... more info |
| Saarbrücken, Germany– July 21, 2009 - xaitment GmbH, one of the leading developers and service providers of artificial intelligence for the games and simulation industries, and Emergent Game Technologies, leading source for state-of-the-art ... ... more info |
|
| EVER had the feeling something is missing? If so, you're in good company. Dmitri Mendeleev did in 1869 when he noticed four gaps in his periodic table . They turned out to be the undiscovered elements scandium, gallium, technetium and germanium. Paul ... ... more info |
| Artificial intelligence (AI) applications in the field of counter-terrorism are among the fastest growing components of security programming for both government and corporate entities. One of the most important applications for artificial ... ... more info |
|
| When I went to meet Ryan Small at his home in Auburn, I expected to wade into a number of stereotypes. Matrix posters on the wall. A landscape of computer parts scattered throughout a cluttered apartment. A few hundred pizza boxes marking the times ... ... more info |
| For the longest time, artificial intelligence has remained in the domain of academics, considered untouchable by investor types. Increasingly, though, this somewhat esoteric science is finding its way into crisp business applications that translate ... ... more info |
|
| Foreman/Warner Bros. John Connor (Christian Bale) has good reason to fear killer machines in 'Terminator: Salvation' ... Warner Bros. ...but computer scientists say that a fear of a future robot-human war doesn't compute. Rumph, Jr./AP Garry Kasparov ... ... more info |
| Cougem writes "John Fremlin has released what he believes to be the worlds fastest webserver for small dynamic content, teepeedee2. It is written entirely in LISP, the world's second oldest high-level programming language. He gave a talk at the Tokyo Linux Users Group last year, with benchmarks, which he says demonstrate that 'functional programming languages can beat C.' Imagine a small alternative to Ruby on rails, supporting the development of any web application, but much faster." ... more info |
|
| There’s no denying the fact that advanced artificial intelligence (AI) can outwit chess experts, as evidenced by IBM’s Deep Blue trouncing the reigning World Chess Champion Garry Kasparov in 1997. However, when it comes to the very human pastime ... ... more info |
|
| The U.S. Army licensed some artificial intelligence software from Autodesk Inc. for use in a recruiting game. Autodesk (NASDAQ: ADSK) will supply the army with Kynapse software to make “non-player characters” in the game — America’s Army 3 ... ... more info |
|
| [In this in-depth interview, Gamasutra talks to AI expert Dr. Ben Goertzel of Novamente about making virtual pets smarter -- and how better adaptive AI could change game design.] As AI developers were convening in San Francisco for GDC, another ... ... more info |
| Innovation is our new column that highlights the latest emerging technological ideas and where they may lead. CAPTCHAs – scrambled letters that separate real online users from software bots – protect online services from being overwhelmed by spam ... ... more info |
| An anonymous reader writes "With bots getting closer to beating text-based CAPTCHAs for good, New Scientist points out that when they do, OCR technology will at least have advanced. The article goes on to suggest that whatever kind of reverse Turing Test that comes next should be chosen to motivate spammers to solve other pressing AI problems, such as image recognition. Are there any other problems that criminal crowdsourcing could help with?" ... more info |
|
| Renowned Pentagon tech-tomfoolery agency DARPA has announced a new plan to create mighty artificial intelligences. The so-called "Deep Learning" machines will be used to trawl through petabytes of video from robot aircraft prowling the skies ... ... more info |
| Washington, April 04: Adam formulates hypotheses, devises and conducts experiments, interprets the results and discovers new scientific knowledge -- all without help from scientists. The catch? Adam is no mortal, he's a robot. The "robot scientist ... ... more info |
|
| Cambridge (England) - Researchers at the Aberystwyth University and the University of Cambridge have published information about an Artificial Intelligence-wielding robot named Adam . Adam has been able to operate much like a real scientist, though ... ... more info |
| WASHINGTON - ADAM formulates hypotheses, devises and conducts experiments, interprets the results and discovers new scientific knowledge - all without help from scientists. The catch? Adam is no mortal, he's a robot. The 'robot scientist' has become ... ... more info |
|
| So it seems Google has mastered artificial intelligence . Its genius researchers have laboured night and day and have come up with CADIE: Cognitive Autoheuristic Distributed-Intelligence Entity. CADIE has since gained access to the internet, and ... ... more info |
|
| Mapping the billions of connections in the brain is a grand challenge in neuroscience. The conventional method of brain mapping based on transmission electron microscope (TEMs) images could take several decades to piece together. In this week's open ... ... more info |
|
| The World Wide Web celebrated its 20 th anniversary on March 13. Twenty years ago, Briton Tim Berners-Lee submitted a memorandum with his suggestions on the structure of the computer network to the administration of the European Organization for ... ... more info |
|
| The World Wide Web celebrated its 20 th anniversary on March 13. Twenty years ago, Briton Tim Berners-Lee submitted a memorandum with his suggestions on the structure of the computer network to the administration of the European Organization for ... ... more info |
|
| 26 March 2009 - Autodesk, Inc., (NASDAQ: ADSK) and NaturalMotion Ltd., today announced that the companies are working to build an advanced integration between their respective popular game development products - Autodesk Kynapse artificial ... ... more info |
|
| ITA Software, Inc. , the leader in developing innovative solutions for the travel industry, today announced its support for the International Lisp Conference 2009 . The event will take place March 22-25 at the Stata Center on the MIT campus in ... ... more info |
|
| Washington, February 16: British researchers have for the first time used computer-based artificial intelligence to create previously unseen types of pictures, with a view to understanding the abilities of the human visual system in a better manner ... ... more info |
|
| Researchers at the Fraunhofer Institute for Digital Media Technology IDMT in Ilmenau now plan to teach even children what artificial intelligence (AI) is all about. "To do this, we have developed a very simple computer game called 'Gorge'. Gorge ... ... more info |
|
| Ray Kurzweil, recipient of Google and Nasa funding to set up a school for futurologists called the Singularity University, is a deeply optimistic man. In his books, particularly The Singularity is Near and The Age of Spiritual Machines, he maps out a ... ... more info |
| After saying it may pay part of its dividend in stock, Prologis, the world’s biggest warehouse company, fell as much as 8.8 percent this morning on the New York Stock Exchange. The company plans to pay a first-quarter dividend of 25 cents a share ... ... more info |
| It's not Colonel Mustard in the drawing room with the lead pipe, but scientists at Duke University with a brand new AI mathematical model. Researchers have come up with a new strategy for winning at Cluedo that they believe could lead to better ... ... more info |
|
| Washington, January 24 : A study revealing honeybees can learn to recognise human faces even when seen from different viewpoints has raised the possibility of improving artificial intelligence systems and computer programs for facial recognition ... ... more info |
| Oliver Selfridge was one of the first computer scientists to anticipate how faster and more powerful processors would allow us to develop systems that could be called intelligent. In the 1950s his Pandemonium system was the first to learn to ... ... more info |
|
| NEW YORK, Jan. 23 /PRNewswire/ -- The Cram Group now offers Prolog Connect from Meridian systems via their ProjectXnet hosting service. Several ENR top 400 customers have already embraced the new hosted service offering. Prolog Connect is a Web ... ... more info |
| Graphics cards are set to handle artificial intelligence (AI) processing in 2010, according to the latest news out of Nvidia and AMD. The companies revealed that they are working on GPGPU-accelerated AI in games, and gamers might see the first ... ... more info |
| American computer academics say they have created an artificial-intelligence-based computer program which can scan news reports to swiftly identify which terrorist group is behind an outrage. They claim the "open source intelligence"* scanner gave ... ... more info |
| |
|
