——————————————————————————————————————————-
Questions
—————————————————————————————————————————-
1. Deduction Theorem
Given an expression, write a program to decide whether it’s a theorem or not Steps
- Write a parser to isolate the clauses around the implication in the expressions
Test Cases :
- (P => Q ) => ((~Q => P) => Q)
- P => (P V Q)
- (P ^ Q) => (P V R)
2. Prolog Programing
- Write a program in Prolog to represent the following knowledge and find the answer to the given questions
- 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 mountain climber but not a skier?
