بدون تصویر جلد English Unordered The Journal of Logic Programming Chiaki Sakama; Katsumi Inoue 2000 July مشاهدهٔ کتاب