Prolog is a logic-based declarative programming language whose programs answer to queries from the user based on facts and rules given in the source code. This implements a school enrolment database.