A Prolog-Based Definition of an Entity Relationship Language