Predikátová a klauzulární logika

Abstract

Táto bakalárska práca sa zaoberá najmä predikátovou logikou prvého radu, klauzulárnou logikou a logickým programovaním. Cieľom tejto práce bolo dôkladne popísať vzťahy medzi týmito elementmi, navrhnúť a implementovať aplikáciu ktorá by bola schopná previesť formulu z predikátovej logiky prvého radu do klauzulárnej logiky a zároveň by aplikácia bolo schopná využiť všeobecnú rezolučnú metódu, ktorá je neodmysliteľnou súčasťou logického programovania.

This bachelor thesis deals with first order logic, clausal logic and logic programming. Purpose of this thesis is thoroughly describe relations between this elements, design and implement application who will be able to convert formula from first order logic to clausal logic and use general resolution method, who is a import part of logical programming.