GNU Prolog

GNU Prolog adalah bebas Prologlanguage kdename dengan kendala memecahkan di terbatas domain yang dikembangkan oleh Daniel Diaz.

GNU Prolog menerima Prologlanguage kendala program dan menghasilkan asli binari (seperti gcc apa dari C sumber). Yang diperoleh boleh laksana lalu berdiri-sendiri.
Ukuran ini boleh laksana bisa sangat kecil sejak GNU Prolog bisa menghindari hubungan kode paling tidak terpakai built-in predicates. Penampilan GNU Prolog yang sangat menggembirakan (sebanding dengan komersial sistem). Di samping pribumi-kode kompilasi, GNU Prolog menawarkan sebuah klasik interaktif penerjemah (tingkat atas) dengan penyahpepijat.
Yang Prologlanguage bagian sesuai ISO standar untuk Prologlanguage memiliki banyak kontak sangat berguna dalam praktek (global variable-variabel yang ada, OS muka, soket,).GNU Prolog juga termasuk efisien kendala pemecah di Terbatas Domain (FD). Ini membuka contraint logika pemrograman untuk pengguna menggabungkan kekuatan kendala pemrograman untuk declarativity dari logika pemrograman.
Utama fitur:
- Prologlanguage sistem:
- sesuai ISO standar untuk Prologlanguage (mengambang titik angka, sungai, dinamis kode).
- banyak sambungan: global variable-variabel yang ada, pasti klausa tata bahasa (DCG), soket muka, sistem operasi interface
- lebih dari 300 Prologlanguage built-in predicates.
- Prologlanguage penyahpepijat dan tingkat rendah WAM penyahpepijat.
- garis editing fasilitas bawah interaktif penerjemah dengan penyelesaian di atom.
- kuat dua-arah interface antara Prologlanguage dan C.
- Pengkompil
- pribumi-kode kdename memproduksi berdiri sendirian boleh laksana.
- sederhana baris perintah kdename menerima berbagai file: Prologlanguage file, C-file ini, WAM berkas-berkas, hanya...
- langsung generasi dari rangkaian kode 15 kali lebih cepat dari wamcc gcc.
- sebagian besar yang tidak terpakai built-in predicates tidak terkait (untuk mengurangi ukuran boleh laksana).
- disusun predicates (pribumi-kode) secepat wamcc atas rata-rata.
- berkonsultasi predicates (byte-kode) 5 kali lebih cepat dari wamcc.
- Kendala pemecah:
- FD variabel yah diintegrasikan ke dalam Prologlanguage lingkungan (penuh keserasian dengan Prologlanguage variabel dan bulat). Tidak perlu untuk eksplisit FD mengumumkan.
- sangat efisien FD pemecah (sebanding dengan komersial solvers).
- tingkat tinggi kendala dapat digambarkan dalam istilah sederhana primitif.
- banyak yang telah dinyatakan kendala: aritmatika kendala, boolean kendala, simbolis kendala, reified kendala,...
- beberapa corak konfigurasi heuristics.
- pengguna bisa menentukan sendiri yang baru kendala.
- lebih dari 50 FD built-in kendala/predicates.