PROLOG PROGRAMMING APPLICATIONS

Prolog programming Language into Real World Applications



Prolog programming Language into Real World Applications

Prolog programming Language

Prolog is a declarative programming language. Prolog is a very useful programming language to solve problems involving objects and relationships between objects. It is based on the following basic mechanisms, which will be explained throughout this chapter:

Unification

Data structures based on trees

Automatic Backtracking

The language syntax is as follows:

State facts about objects and their relationships

Ask questions about objects and their relationships

Set rules about objects and their relationships

During the early years of the 70's when there was the "software crisis", where the creation of new programs to meet the needs of the time involved higher costs, which could not be satisfied because they were superior to those of hardware that ran (Almendros, 2006, pp.1651-1678). This leads us to investigate numerous alternatives, including new languages to "create" would have to be different from the "common language" (based on algorithmic instructions and procedures). It is then that begs the question: if the man "processes" more information by calculating logical inference, then, can the machine (computer) do the same?.

In a response to the crisis was happening then and product development of modern logic (functional type), born PROLOG ("logic programming"). The aim of this report aims to provide a type of programming language, more specifically the language "Prolog", in the following pages will be mentioned and explain the main features of this language also be given some basic examples of definitions that appear in the report. It also will release the structure, some basic commands and operators, among others, and finally discuss some developments in Prolog (Almendros, 2008, pp.323-361).

Features

A program in Prolog is not an algorithm, and is a record of the conditions of the problem in the language of formal logic;

Prolog language is designed to solve logic problems, logical reasoning process modeling human, and not for solving computational problems or graphic. Calculations and graphical representations are performed as a by-product of inference;

The language Prolog requires a special style of thinking of the programmer.

Objectives

The objectives of the creation of Prolog is the evolution of languages, as well as the low "cost and ease 'of programming that it can offer, because as its name implies Prolog (Programming in Logic) is a program that uses logic to solve the problems. Moreover, the language is directed to work in artificial intelligence applications (Almendros, 2009, pp. 117-135).

Definition

Prolog is a programming language created to represent and use the knowledge we have about a particular domain. More precisely, the domain is a set of objects and knowledge is represented by a set of relations that describe the properties of objects and their interrelationships. A set of rules that describes these properties and these relationships is a Prolog program. A more accessible for the average user would be:

'Prolog is a programming language that is used to solve problems involving objects and relationships between them'.

The definition based on formal logic, allows you to run statutes that are nothing but prayers of ...