Prolog was created by Colmerauer and his colleagues at the University of Marseilles in the 1970s and is popularly known as Programming in LOGic. Clocksin who is from the Mellish at the University of Edinburgh continued his work, and it is their version that is today popularly know as the C&M or the Edinburgh syntax and is widely accepted as the standard. Prolog compared to the other languages differs and that is, a Prolog program gives the computer instructions through a technique called declarative programming and while programs in other languages instruct the computer on how it can be done which is otherwise called procedural programming.
The program achieves the derivations and deductions from database, which stores instructions and descriptions. The essence of a Prolog program is composing rules that are compact and short. The deductions and derivations that are instigated by queries entered by the users are the result of Prolog’s built in products mechanism of inference called the track-back. Prolog was actually designed for a non-numeric kind of information processing and contemporary Prologs are that which are mathematical expressions and are from the common pool.
The features of Prolog are Intelligent Systems programs, which also perform some useful tasks by utilizing and developing artificial intelligence techniques. Intelligent systems are Expert Systems, which reproduce decision making like a human expert. Natural Language Systems can analyze and respond to statements made in ordinary language unlike approved keywords or menu selections.
Many CLP systems are being built on extending Prolog and their machineries are full of techniques of implementation that have been developed for the Prolog. It’s not strange. There are a great pact of programming languages and techniques, built-ins, & miscellaneous facilities that exist. These are, shared between Prolog and some other common CLP languages.
Prolog is a rich and vast collection of data structures in the human reasoning and language, and also powerful for encoding end-user applications. Prolog has its logical as well as declarative aspects of interpretive nature, compactness, and modularity that is inherent.
