- Prolog adalah bahasa pemrograman logika yang sederhana dan deklaratif, bersifat homoikonik dan sangat dinamis.
- Sintaks Prolog mudah dipahami dan digunakan, dan semua data diekspresikan sebagai term Prolog dan satu elemen bahasa tunggal yang disebut 'klausa (clause)'.
- Dalam Prolog, klausa berbentuk 'Head :- Body', yang berarti jika Body valid, maka Head juga valid.
- Prolog adalah bahasa pemrograman yang Turing-complete, dan semua komputasi yang diketahui dapat dijelaskan dengan klausa-klausanya.
- Sebagai bahasa deklaratif, Prolog berfokus pada penjabaran hal yang kita minati dan pada pengekspresian apa yang valid mengenai solusi yang ingin kita temukan.
- Sifat deklaratif Prolog memungkinkan spesifikasi yang sangat ringkas, jelas, dan umum.
- Prolog adalah bahasa pemrograman logika, dan program Prolog murni terdiri dari himpunan klausa Horn, dengan eksekusinya dapat dianggap sebagai kasus khusus dari resolution.
- Prolog adalah bahasa homoikonik, sehingga program Prolog juga merupakan term Prolog yang valid. Ini memudahkan penulisan program Prolog yang menganalisis, mentransformasikan, dan menginterpretasikan program Prolog lain.
- Prolog adalah bahasa yang sangat dinamis, sehingga program dapat dengan mudah dibuat, dipanggil, dan dimodifikasi.
- Sifat dinamis Prolog ideal untuk menulis program yang dapat diperluas dengan aturan khusus pengguna yang disediakan oleh programmer lain maupun pengguna umum.
- Prolog adalah bahasa yang sangat serbaguna, dan karena sifat relasionalnya, program Prolog menjadi sangat fleksibel dan umum.
- Fleksibilitas dan kekuatan Prolog bertumpu pada mekanisme implisit yang mencakup pencarian, unifikasi, pengindeksan argumen, dan propagasi kendala.
1 komentar
Opini Hacker News