书目详细信息 : LOGIC PROGRAMMING AND NON-MONOTONIC REASONING