In a Prolog program, a rule consists of:
A head and a body separated by a colon
A fact with an empty body
Overlook minor misbehaviors
Impose harsh punishments for any infraction

Programming Languages Exercises are loading ...