逻辑程序作为逻辑程序的类型| IEEE会议出版物| IEEE Xplore