Encoding US Constitution

Involves Encoding the US Constitution in Prolog

US Constitution

Github Link

Project Description


Implemented all the articles of the US Constitution using SWI Prolog and used some predefined facts to check the validity of specific test queries.

Role in the 3-member team


∗ Implemented one-third of the articles and sections of the US Constitution using SWI-Prolog.

End Result


Learned about the US Constitution and implemented real-world problems using SWI Prolog. Learned how to work on a project together as a team.