Firewall rules were encoded in SWI-Prolog as facts and rules. User enters details of a packet and the firewall engine returns one of the following verdicts:
- accept (allow the incoming packet)
- reject (send reject information to sender)
- drop (silently)
The program should be run using swi-prolog and the input instructions should be followed for successful working of the engine .
- This project was completed in partial fulfilment of the course Logic in Computer Science at BITS Pilani.