IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Using Prolog for Developing Real World Artificial Intelligence Applications

Using Prolog for Developing Real World Artificial Intelligence Applications
View Sample PDF
Author(s): Athanasios Tsadiras (Technological Educational Institute of Thessaloniki, Greece)
Copyright: 2009
Pages: 5
Source title: Encyclopedia of Information Science and Technology, Second Edition
Source Author(s)/Editor(s): Mehdi Khosrow-Pour (Information Resources Management Association, USA)
DOI: 10.4018/978-1-60566-026-4.ch631
ISBN13: 9781605660264
ISBN10: 1605660264
EISBN13: 9781605660271

Purchase

View Using Prolog for Developing Real World Artificial Intelligence Applications on the publisher's website for pricing and purchasing information.

Abstract

Artificial Intelligence Applications are becoming crucial for enterprises that want to be successful by having the advantage of using high information technology. The development of such applications is assisted by the use of high level computer programming languages that are closer to the programmer than to the computer. Such a programming language is Prolog. Prolog is a logic programming language (Clocksin & Mellish 2003) that was invented by Alain Colmerauer and Phillipe Roussel at the University of Aix-Marseille in 1971. The name Prolog comes from programmation en logique (i.e., “programming in logic” in French). Together with LISP, they are the most popular Artificial Intelligence programming languages. Prolog was generated by an attempt to develop a programming language that extensively uses expressions of logic instead of developing a program by providing a specific sequence of instructions to the computer. Theoretically, it is based on a subset of first-order predicate calculus that allows only Horn clauses (Bratko, 2000). The control of the program execution is based on Prolog’s built-in search mechanism that in fact is an application of theorem proving by first-order resolution.

Related Content

Designing Hypertext and the Web
Yin-Leng Theng (2005). Encyclopedia of Information Science and Technology (pp. 822-826).
View Details View Details PDF Full Text View Sample PDF
Machine Learning Through Data Mining
Diego Liberati (2009). Encyclopedia of Information Science and Technology, Second Edition (pp. 2469-2475).
View Details View Details PDF Full Text View Sample PDF
A Framework for Ontology-Based Tourism Application Generator
Roopa Jakkilinki and Nalin Sharda (2008). Information Communication Technologies: Concepts, Methodologies, Tools, and Applications (pp. 920-937).
View Details View Details PDF Full Text View Sample PDF
Norwel Equipment Co. Limited Partnership (L.P.) Internet Upgrade
Kenneth R. Walsh (2001). Pitfalls and Triumphs of Information Technology Management (pp. 179-195).
View Details View Details PDF Full Text View Sample PDF
Redefining the Manufacturing Enterprise through Information Technology
Qiang Tu and Wei Wang (2003). Business Strategies for Information Technology Management (pp. 14-27).
View Details View Details PDF Full Text View Sample PDF
Body Bottom