What is the mathematical basis of prolog?
Answers
Answered by
2
The model directly reflects the basicintuitions underlying the language and can be used as a primary mathematicaldefinition of Prolog. ... The model may provide guidance for extending the established theory of logic programming to the extralogical features of Prolog.
Answered by
2
Key Features :
Key Features :Unification : The basic idea is, can the given terms be made to represent the same structure.
Key Features :Unification : The basic idea is, can the given terms be made to represent the same structure.Backtracking : When a task fails, prolog traces backwards and tries to satisfy previous task.
Key Features :Unification : The basic idea is, can the given terms be made to represent the same structure.Backtracking : When a task fails, prolog traces backwards and tries to satisfy previous task.Recursion : Recursion is the basis for any search in program.
Similar questions