Tugas programmer kendala adalah menggunakan kendala matematika untuk memodelkan kendala dan objek dunia nyata. Dalam buku ini, Kim Marriott dan Peter Stuckey memberikan pengantar komprehensif pertama untuk disiplin pemrograman kendala dan, khususnya, pemrograman logika kendala. Buku ini mencakup materi latar belakang yang diperlukan dari kecerdasan buatan, pemrograman logika, riset operasi, dan…
"Tujuan The Reasoned Schemer adalah untuk membantu programmer fungsional berpikir secara logis dan programmer logika berpikir secara fungsional. Penulis The Reasoned Schemer percaya bahwa pemrograman logika merupakan perluasan alami dari pemrograman fungsional, dan mereka menunjukkan hal ini dengan memperluas Skema bahasa fungsional dengan konstruksi logis - dengan demikian menggabungkan manfaa…