a goal in prolog temrs, can be best described as;