Logika pemrograman, dalam arti luas, penggunaan logika
matematika untuk pemrograman komputer. Dalam pandangan pemrograman logika, yang
dapat ditelusuri setidaknya sejauh [1958] proposal saran-taker John McCarthy,
logika digunakan sebagai bahasa representasi murni deklaratif, dan
teorema-prover atau model-generator digunakan sebagai pemecah masalah. Tugas
pemecahan masalah dibagi antara programmer, yang bertanggung jawab hanya untuk
memastikan kebenaran program dinyatakan dalam bentuk logis, dan teorema-prover
atau model-generator, yang bertanggung jawab untuk memecahkan masalah
efisien.
Namun, logika pemrograman, dalam arti sempit yang lebih umum
dipahami, adalah penggunaan logika baik sebagai bahasa representasi deklaratif
dan prosedural.
sumber : http://banuaw.wordpress.com/2011/03/22/pemrograman-logika-logic-programming/
0 komentar:
Posting Komentar