SSIGNMENT-5: PROLOG
Instructions:
1. The assignment should be completed and uploaded by 26th Oct, 2021, 11:59 PM IST.
2. Markings will be based on the correctness and soundness of the outputs. Marks will be deducted in case of plagiarism.
3. Proper indentation and appropriate comments are mandatory.
4. Make proper documentation of all results and observations with their analysis. 4. You should zip all the required files and name the zip file as:
roll_no_of_all_group_members .zip , eg. 1501cs11_1201cs03_1621cs05.zip. 5. Upload your assignment (the zip file) in the following link:
https://www.dropbox.com/request/moo6AtWqPtMw6v48hG1D
——————————————————————————————————————————-
Questions
—————————————————————————————————————————-
1. Deduction Theorem
Given an expression, write a program to decide whether it’s a theorem or not. Steps:
1. Write a parser to isolate the clauses around the implication in the
expressions
Test Cases :
1. (P => Q ) => ((~Q => P) => Q) 2. P => (P V Q)
3. (P ^ Q) => (P V R)
2. Prolog Programing
Q. Write a program in Prolog to represent the following knowledge and find the answer to the given questions
a. Knowledge
A, B and C belong to Himalayan club. Every member in the club is either a mountain climber or skier or both. A likes whatever B dislikes and dislikes whatever B likes. A likes rain and snow. No mountain climber likes rain. Every skiers likes snow
Question : Is there a member who is a mountain climber but not a skier?
