Logic programming, dalam arti luas, adalah penggunaan logika matematis untuk pemrograman komputer. Logika digunakan sebagai declarative representation language murni, dan teorema-prover atau model-generator digunakan sebagai pemecah masalah. Pemecahan masalah tugas dibagi antara para 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 secara efisien.
Namun, logic programming, dalam arti sempit adalah menggunakan logic baik sebagai declarative dan procedural representation language. Hal ini didasarkan pada fakta bahwa backwards reasoning theorema-prover diterapkan pada kalimat deklaratif dalam bentuk implikasi:
Contoh
Jika B1 dan … dan Bn kemudian H
- memperlakukan implikasi pengurangan tujuan-prosedur:
untuk menampilkan / memecahkan H, menampilkan / memecahkan B1 dan … dan Bn.
- Misalnya, memperlakukan implikasi:
Jika Anda menekan tombol sinyal alarm,
maka Anda siaga sopir kereta api dari kemungkinan darurat
- sebagai prosedur:
Untuk memperingatkan pengemudi kereta dari kemungkinan darurat,
tekan tombol sinyal alarm.
No comments:
Post a Comment