Logika programming mangrupa paradigma programming nu dumasar kana logika formal. Dina pendekatan ieu, programmer ngahartikeun runtuyan fakta jeung aturan ngagunakeun rumus logis, sarta saterusna sistem bisa ngagunakeun téhnik alesan otomatis pikeun ngahasilkeun fakta anyar atawa ngajawab queries. pendekatan ieu mindeng dipaké dina widang kayaning kecerdasan jieunan, ngolah basa alam, jeung sistem ahli. Salah sahiji ciri konci tina programming logika nyaeta éta declarative, tinimbang prosedur. Ieu ngandung harti yén programmer husus naon maranéhna hayang ngahontal, tinimbang kumaha carana ngahontal eta. Sistim lajeng ngagunakeun inferensi logis pikeun neangan kaluar kumaha ngahontal hasil nu dipikahoyong. Hiji basa populér pikeun programming logika nyaeta Prolog. Prolog mangrupa basa programming tingkat luhur nu dirancang pikeun kecerdasan jieunan jeung linguistik komputasi. Eta boga sintaksis basa nu basajan nu dumasar kana urutan kahiji, sarta nyadiakeun back-tracking pikeun alesan jeung basa
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence