هوش مصنوعی و برنامه‌نویسی منطقی