Program logika nyaéta paradigma pamrograman anu dumasar kana panggunaan hubungan logis sareng deduksi pikeun méréskeun masalah. Hubungan ieu diekspresikeun nganggo basa pamrograman logika, anu nyayogikeun konstruksi pikeun ngajelaskeun aturan, fakta, sareng queries. Aturan ngajelaskeun kumaha fakta anyar tiasa diinterpretasi tina aturan anu aya, sedengkeun queries naroskeun ka program pikeun milarian solusi anu nyugemakeun set data anu tangtu. Dina sababaraha basa logis anu paling populér, programer ngajelaskeun set hubungan logis atanapi watesan anu kedah dipenuhi ku program pikeun méréskeun masalah. Hubungan ieu diekspresikeun nganggo basa pamrograman logika, anu nyayogikeun konstruksi pikeun ngajelaskeun aturan, fakta, sareng queries. Aturan-aturan ngajelaskeun kumaha data anyar tiasa diinterpretasi tina masalah anu aya, sedengkeun queries naroskeun ka program pikeun milarian solusi anu nyugem
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence