Tolong jelaskan mengenai bersalah(X) :- manusia(X). dari Logika pemrograman

Berdasarkan pada sebuah contoh digunakan oleh Terry Winograd  untuk mengiilustrasikan bahasa pemrograman Planner. Sebagai sebuah klausa dalam program logis, bisa digunakan sebagai prosedur untuk mengetes apakah X adalah bersalah dengan mengetes apakah X adalah manusia, dan sebagai prosedur untuk menemukan X dimana bersalah ditemukan sebuah X dimana seorang manusia Bahkan fakta-fakta memiliki interpretasi prosedural. Contoh, klausa: