How to Develop a Rule-Based Legal Expert System in Prolog