Jonathan Harland Briggs

• Micro-Prolog rules