Abstract: Publisher SummaryThis chapter presents the logic programming as a direct application of all the elements of mathematical logic, emphasizing on the direct relationship between mathematical logic and the programming language PROLOG., It also analyses PROLOG's derivation mechanism. Logic supplies logic programming and PROLOG with both a rich language and the theoretical foundation that guarantees correct results. The term programming language does not exactly correspond to reality. PROLOG, like FORTRAN and PASCAL, is not a language; it is only a notation [DiSc90] by means of which the data and procedures are presented and formalized. The dominant characteristics of programming language are the formalization of the given information, the operation of the inference mechanism, as well as the relationship between this mechanism and mathematical logic. The difference that distinguishes logic programming and the PROLOG language from traditional programming and languages like FORTRAN, BASIC, COBOL, and PASCAL, etc., lies in the fundamental principles of logic programming; both in the design and tile implementation of a logic program.
Publication Year: 1996
Publication Date: 1996-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot