arbitrary useful prolog programs/parts.