| Branches: | Information technologies |
A prolog (engl. Prolog) — the language and the system of logical programming based on language of predicates of the logic theory of predicate calculus representing a subset of a predicate logic of first order.
The basic concepts in the Prologue language are the facts, rules of a logical output and requests allowing to describe knowledge bases, procedures of a logical output and decision making on the basis of which the system of logical programming a Prologue draws logical conclusions and gives intelligent answers.
The facts in the Prologue language are described by logical predicates with specific values. Rules in a Prologue register in the form of rules of a logical output with the logical conclusions and the list of logical conditions.
In the Prologue interpreter a special role is played by specific requests to knowledge bases on which the system of logical programming generates answers "truth" and "lie". For the generalized requests with variables as arguments created the Prologue systems outputs specific data in confirmation of truth of the generalized data and inference rules.
The facts in the Prologue language present specific data (knowledge) in knowledge bases. The generalized data and knowledge in the Prologue language are set by rules of a logical output (determinations) and sets of such inference rules (determinations) over concrete facts and the generalized data.
- VAK, prof., dock. computer. sciences 5:28 a.m., on July 21 2009 (UTC)
| The site content is translated by machine translation software powered by PROMT. The machine-translated articles are not always perfect and may contain errors in vocabulary, syntax or grammar. Read original article If you find inaccuracies or errors in the results of machine translation, please write to editor@tadviser.ru. We will make every effort to correct them as soon as possible. |