Prolog-Code

logic1.pl: Simplifying algebraic expressions

Simplify algebraic expressions to its normal form (an expression in which cannot be simplified by further application of algebraic identities).

• simplify(x* x,Y).
  Y = x^2

• simplify(x x x 2,Y).
  Y = x^3 2

• simplify(2 x+3 x,Y).
  Y = 5* x

• simplify(0+x,Y).
  Y = x

• simplify(5 x^2+2 x^5,Y).
  Y = x^2 (5+2 x^3)

• simplify(5 x^2+2 x^2,Y).
  Y = 7* x^2

• simplify(x^0,Y).
  Y = 1

• simplify(x/0,Y).
  Y = undefined

• simplify(0/x,Y).
  Y = 0

• simplify(7 x^2/5 x^3,Y).
  Y = 1.4* x^ -1

• simplify(7 x^5 8 x^3,Y).
  Y = 56 x^8

• equality(7 x^2, 7 x^2, Y).
  Y = 1.

• simplify(x^2 5+x^5 3,Y).
  Y = x^2 (5+3 x^3)

• simplify(5 x^2-3 x^5,Y).
  Y = x^2 (5-3 x^3)

• simplify(5 x^2-3 x^5+2 x^4,Y).
  Y = x^4 ((5-3 x^3) x^ -2+2)

• simplify(x^6 4/5 x^2, Y).
  Y = 0.8* x^4

• simplify(-4 x^6 5 x^2, Y).
  Y = -20 x^8

logic2.pl: Express the academic regulations of BITS Pilani

Rules 3.1 to 3.20 (refer section-3 of the academic regulations) in prolog. Program answers possible queries on regulations such as

1. Is a student eligible for doing PS course?
2. Is a first degree student eligible for doing a higher degree course?
3. Is a duel degree student eligible for doing a core course on his second degree?
4. Is there a conflict in the list of courses scheduled for a student?