Telecharger Cours

IFT 6802 Introduction to Prolog Prolog Declarative programming ...

? Is fred a man ? ? :- man (fred) . ?. => ok. ? Is man(fred) TRUE ? ? Is the fact man(fred) in the database ? ? Goal to be proved. Cours IFT 3880 ...



Download