GNU/Linux >> Belajar Linux >  >> Linux

Pemrograman Prolog di Ubuntu

Saya pribadi menggunakan gprolog atau swipl di lingkungan yang ditafsirkan. Jadi, Anda menulis fakta dan aturan dalam file mydb.pl, dan membuka juru bahasa di direktori yang sama. Setelah prompt muncul, Anda dapat menanyakan

['mydb.pl'].

untuk memuat database Anda. sekarang Anda dapat melihat peringatan\kesalahan atau mulai membuat kueri dari dalam juru bahasa prolog.


Ya, Anda dapat menggunakan editor teks apa pun, termasuk. VIM. Setelah Anda menulis file sumber Prolog, katakanlah, file.pl , Anda dapat memuatnya ke SWI-Prolog seperti:

swipl -s file.pl

Ini akan mengompilasi file Anda dan membawa Anda ke shell interaktif di mana Anda kemudian dapat mengajukan kueri terhadap definisi di file Anda.

Jika Anda ingin menggunakan program Prolog dalam mode batch, Anda dapat menggunakan:

swipl -s file.pl -t goal

di mana goal adalah tujuan/kueri yang ingin Anda evaluasi. Perhatikan bahwa dalam hal ini Anda tidak akan mendapatkan opsi untuk meminta solusi alternatif.


Di Ubuntu, saya mulai menggunakan emacs, yang setidaknya menyoroti sintaks:

http://www.swi-prolog.org/FAQ/GnuEmacs.html

(2 saran emacs di halaman itu ^)

Tapi sekarang saya menggunakan prolog dalam kemarahan, saya menggunakan plugin Eclipse bernama PDT:

http://sewiki.iai.uni-bonn.de/research/pdt/docs/v2.1/start

Yang sangat berguna adalah debug dan pelacakan baris demi baris secara real-time, sehingga Anda dapat masuk, melangkahi predikat individual, memantau nama variabel, dll.. seperti IDE nyata lainnya yang akan Anda temukan di gerhana.

Mungkin hanya layak dipasang jika Anda akan sering menggunakannya, karena pemasangannya membutuhkan banyak pekerjaan, tetapi ini adalah IDE yang hebat.

Namun jika Anda menyukai editor tingkat rendah seperti VIM, Anda harus menggunakan alat debug dan pelacakan yang ada di dalam swi-prolog, lihat:

http://www.swi-prolog.org/pldoc/man?section=debugger

Untuk mengetahui cara kerja penerjemah prolog yang aneh dan indah, menggunakan semacam pelacak adalah hal yang harus dimiliki.


Linux
  1. Kapan File yang Dapat Dieksekusi Tidak?

  2. Cara menginstal g ++ di Ubuntu

  3. Ubuntu Linux - Berbagi VHDX

  1. Cara Menambahkan File Swap Di Ubuntu

  2. cp -L vs cp -H

  3. Waktu akses file tidak diperbarui di ubuntu 12.04

  1. Cara Mengubah Nama Host di Ubuntu 18.04

  2. Ubuntu – Menghapus File *.run?

  3. VIM:cara menuju ke baris yang tepat di Ubuntu