![]() | Only 14 pages are availabe for public view |
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. |