A Query-the-User Facility for Logic Programming