Predikátová a klauzulární logika
Loading...
Downloads
3
Date issued
Authors
Paluš, Juraj
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská - Technická univerzita Ostrava
Location
Signature
Abstract
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.
Description
Import 22/07/2015
Subject(s)
First order logic, Clausal logic, Prolog, General resolution method