FROG: A prolog-based system for prolog-based knowledge representation