Defination About PROLOG

Defination About PROLOG             

                                                    

1.PROLOG:PROGRAMMING in LOGIC.
2.Useful in designing Artificial Intelligence(AI) applications.
3.Based in automation theorem proving.
4.Fourth generation programming language used for database management system.
5.It provides uniform data structure called the term. It consists of small set of basic mechanism including pattern matching, tree based data structure and automatic backtracking.
6.PROLOG=facts + rules

Data types in  PROLOG
1.PROLOG elementary data types are Atoms:uninterpreted strings of symbols and numbers.
2.PROLOG provides only one data type called term.

Components of PROLOG
1.Series of rules that define the problem domain.
2.Series of facts that define the interrelation among the known objects.
3.Logical statements are questions from the PROLOG systems. It is also called query or goal.

Logical Statements
A:-A1,A2,.................,An
":-" denotes if statement
"."  termination

• A->B is written as B:-A
• Query form: ?- A1,A2,.......An
• A1,A2,.......An called subgoal of the query. If all the subgoals succeed the goal succeeds otherwise it fails.