约束逻辑编程的构造性否定| IEEE会议出版物| IEEE Xplore