Nghiên cứu lập trình logic và prolog và toán tử cut