NG ) <select - L ( ? G , C ) & infer ( C , ? G , ? Res ) . step ( ? G , ? truth ) <atomic ( ? G ) & not select ( ? G , C ) & write ( ' Does ' ) & write ( ?
確定! 回上一頁