Search In this Thesis
   Search In this Thesis  
العنوان
A Prolog Proof Checker for The Partial Predicate Calculus PPC /
المؤلف
El-Nady, Tarek Mohamed.
هيئة الاعداد
باحث / طارق محمد النادى
مشرف / عمر الفاروق حسين بدر
مشرف / ألبرت هوجيون
مشرف / معوض المكاوى
الموضوع
Prolog(computer program language). Logic programming.
تاريخ النشر
1991.
عدد الصفحات
146 P. ;
اللغة
الإنجليزية
الدرجة
ماجستير
التخصص
الرياضيات
تاريخ الإجازة
1/1/1991
مكان الإجازة
جامعة المنصورة - كلية العلوم - Department of Mathematics
الفهرس
Only 14 pages are availabe for public view

from 166

from 166

Abstract

In this thesis, a proof checker program for the Partial Predicate Calculus PPC is introduced. The program is named Sphinx in honour of the great egyptian statue near the well known pyramids in Cairo. It is written in Turbo Prolog which ia an advanced AI Language.