کتاب برنامه‌نویسی در پرولوگ (بر اساس استاندارد ایزو)