prolog and Predicate logic 
Author Message
 prolog and Predicate logic

 Currently I am working on a report on the relationship between
Prolog and Predicate logic. I was wondering if anybody has any
comments or ideas on how I should structure this report. Also sources
is not that good here so if anybody can send some information to
me it would be appreciated. Thank you very much for you time and
trouble. Any help will be appreciated.
                                        Aloha and Mahalo from Sunny
                                           H  A  W  A  I  I  !
                                        Edward K. Yagi
Email me!  

Wed, 19 May 1993 07:58:00 GMT  
 [ 1 post ] 

 Relevant Pages 

1. First order predicate logic...

2. Predicate logic theorem prover

3. Predicates that create new predicates.

4. What predicates should a teaching prolog have?

5. Problem with SWI Prolog and read predicate

6. setrand predicate on ciao-prolog

7. md5 predicate in Prolog?

8. relative(X,Y) predicate in Prolog - please help!

9. predicate errors on LPA WIN Prolog

10. Predicates in prolog

11. lpa prolog predicate "one"

12. Help me on the built in predicates in 'Open-Prolog


Powered by phpBB® Forum Software