/LCS

Code Repository for the course Logic In Computer Science(First Semester 2018-19)

Primary LanguageProlog

LCS

Problem 1 - Statement

  • Firewall rules are encoded in Prolog as facts and rules: each rule may start with accept (allow the incoming packet), reject (send reject information to sender), or drop (silently) followed by a clause. [see documentation for syntax]
  • Write a Prolog program to apply encoded rules on any incoming packet. Note that multiple rules may apply.

Problem 2 - Statement

  • Laws in Indian Penal code are to be encoded in Prolog (as facts and rules).
  • Write a Prolog program to interpret / apply laws for a given case given a set of laws. [Include at least Chapters IV, V, VI, VII, and VIII]