ISO IEC 13211-1 Prolog bagian inti

ISO IEC 13211-1 adalah Standar Internasional mengenai Teknologi Informasi, khususnya tentang Prolog (Programming in Logic) pada bahasa pemrograman, bagian inti umum.

Standar versi terbaru yang masih berlaku adalah terbitan tahun 1995 dengan judul berikut :

• ISO/IEC 13211-1:1995 Information technology — Programming languages — Prolog — Part 1: General core

Peninjauan dan konfirmasi dari standar ini terakhir dilakukan pada tahun 2008, oleh karena itu versi ini masih dinyatakan tetap berlaku hingga saat ini.

Standar ISO/IEC 13211-1:1995

Dirancang untuk mempromosikan penerapan dan portabilitas teks dan data Prolog di antara berbagai sistem pemrosesan data.

Menentukan:

• representasi teks Prolog;
• sintaks dan batasan bahasa Prolog;
• aturan semantik untuk menafsirkan teks Prolog;
• representasi data masukan yang akan diproses oleh Prolog;
• representasi output yang dihasilkan oleh Prolog dan batasan dan batasan yang dikenakan pada prosesor Prolog yang sesuai.

Penerbitan Standar ISO/IEC 13211-1:1995

Standar ini diterbitkan dan dipublikasikan pada Juni 1995, berupa dokumen edisi 1 dengan jumlah halaman sebanyak 199 lembar.

Disusun oleh :

• Technical Committee ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces, atau : Komite Teknis ISO/IEC JTC 1/SC 22 Bahasa pemrograman, lingkungannya, dan antarmuka perangkat lunak sistem.

ICS :

• 35.060 Languages used in information technology, atau : 35.060 Bahasa yang digunakan dalam teknologi informasi

Sebagaimana standar ISO lainnya, ISO/IEC 13211-1:1995 ini juga ditinjau setiap 5 tahun dan peninjauan sudah mencapai tahap 90,93 (dikonfirmasi).

Badan ISO juga menerbitkan perubahan atau corrigenda dari standar ini, yakni :

• ISO/IEC 13211-1: 1995/COR 1:2007
• ISO/IEC 13211-1:1995/COR 2:2012
• ISO/IEC 13211-1: 1995/COR 3:2017

Isi Standar ISO/IEC 13211-1:1995

Berikut adalah kutipan isi Standar ISO/IEC 13211-1:1995 yang diambil dari Online Browsing Platform (OBP) dari situs resmi iso.org.

Yang ditambah dengan berbagai keterangan dan informasi untuk mempermudah pemahaman pembaca.

Hanya bagian standar yang informatif yang tersedia untuk umum, OBP hanya menampilkan hingga klausa 3 saja.

Oleh karena itu, untuk melihat konten lengkap dari standar ini, maka pembaca harus membeli standar dari ISO ini secara resmi.

Daftar Isi Standar ISO/IEC 13211-1:1995

• Foreword
• Introduction
• 1 Scope
• Notes
• 2 Normative references
• 3 Definitions
• 4 Symbols and abbreviations
• 4.1 Notation
• 4.2 Abstract data type stack
• 4.3 Abstract data type mapping
• 5 Compliance
• 5.1 Prolog processor
• 5.2 Prolog text
• 5.3 Prolog goal
• 5.4 Documentation
• 5.5 Extensions
• 6 Syntax
• 6.1 Notation
• 6.2 Prolog text and data
• 6.3 Terms
• 6.4 Tokens
• 6.5 Processor character set
• 6.6 Collating sequence
• 7 Language concepts and semantics
• 7.1 Types
• 7.2 Term order
• 7.3 Unification
• 7.4 Prolog text
• 7.5 Database
• 7.6 Converting a term to a clause, and a clause to a term
• 7.7 Executing a Prolog goal
• 7.8 Control constructs
• 7.9 Evaluating an expression
• 7.10 Input/output
• 7.11 Flags
• 7.12 Errors
• 8 Built-in predicates
• 8.1 The format of built-in predicate definitions
• 8.2 Term unification
• 8.3 Type testing
• 8.4 Term comparison
• 8.5 Term creation and decomposition
• 8.6 Arithmetic evaluation
• 8.7 Arithmetic comparison
• 8.8 Clause retrieval and information
• 8.9 Clause creation and destruction
• 8.10 All solutions
• 8.11 Stream selection and control
• 8.12 Character input/output
• 8.13 Byte input/output
• 8.14 Term input/output
• 8.15 Logic and control
• 8.16 Atomic term processing
• 8.17 Implementation defined hooks
• 9 Evaluable functors
• 9.1 The simple arithmetic functors
• 9.2 The format of other evaluable functor definitions
• 9.3 Other arithmetic functors
• 9.4 Bitwise functors
• Annex A Formal semantics
• A.1 Introduction
• A.2 An informal description
• A.3 Data structures
• A.4 The Formal Semantics
• A.5 Control constructs and built-in predicates

Kata pengantar

Sebagaimana tercantum dalam “Klausa 0 Foreword”, bahwa :

ISO (Organisasi Internasional untuk Standardisasi) dan IEC (Komisi Elektroteknik Internasional) membentuk sistem khusus untuk standardisasi di seluruh dunia.

Badan-badan nasional yang menjadi anggota ISO atau IEC berpartisipasi dalam pengembangan Standar Internasional melalui komite teknis yang dibentuk oleh organisasi masing-masing untuk menangani bidang kegiatan teknis tertentu.

Komite teknis ISO dan IEC berkolaborasi dalam bidang yang menjadi kepentingan bersama.

Organisasi internasional lainnya, pemerintah dan non-pemerintah, bekerja sama dengan ISO dan IEC, juga ambil bagian dalam pekerjaan tersebut.

Di bidang teknologi informasi, ISO dan IEC telah membentuk komite teknis bersama ISO/IEC JTC 1.

Rancangan Standar Internasional yang diadopsi oleh komite teknis bersama diedarkan ke badan-badan nasional untuk pemungutan suara.

Publikasi sebagai Standar Internasional memerlukan persetujuan setidaknya 75% dari badan-badan nasional yang memberikan suara.

Standar Internasional ISO/IEC 13211 disiapkan oleh :

• Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming languages, their environments and system software interfaces,
• atau : Komite Teknis Bersama ISO/IEC JTC 1, Teknologi informasi, Subkomite SC 22, Bahasa pemrograman, lingkungan mereka, dan antarmuka perangkat lunak sistem.

Lampiran A dari bagian ISO/IEC 13211 ini hanya untuk informasi.

Mengenal ISO dan IEC

ISO (International Organization for Standardization) adalah suatu organisasi atau lembaga nirlaba internasional.

Tujuan dari ISO adalah untuk membuat dan memperkenalkan standar dan standardisasi internasional untuk berbagai tujuan.

Sebagaimana dengan ISO, IEC juga merupakan organisasi standardisasi internasional yang menyusun dan menerbitkan standar-standar internasional.

Namun ruang lingkupnya adalah untuk seluruh bidang elektrik, elektronik dan teknologi yang terkait atau bidang teknologi elektro (electrotechnology).

Lebih jelas mengenai ISO dan IEC dapat dibaca pada artikel lain dari standarku.com berikut :

• International Organization for Standardization
• Standar IEC

Pengantar Standar

Sebagaimana tercantum dalam “Klausa 0 Introduction”, bahwa :

Ini adalah Standar Internasional pertama untuk Prolog, Bagian 1 (Inti Umum). Itu diproduksi pada 20 April 1995. Tidak ada Standar Internasional lain untuk Prolog.

Prolog (Programming in Logic atau Pemrograman dalam Logika) menggabungkan konsep pemrograman logis dan algoritmik, dan diakui tidak hanya sebagai alat penting dalam AI (Kecerdasan Buatan) dan sistem pakar, tetapi sebagai bahasa pemrograman tingkat tinggi tujuan umum dengan beberapa properti unik.

Bahasa ini berasal dari karya pada awal 1970-an oleh Robert A. Kowalski saat di Universitas Edinburgh (dan sejak saat itu di Imperial College, London) dan Alain Colmerauer di Universitas Aix-Marseilles di Prancis.

Upaya mereka mengarah pada tahun 1972 untuk penggunaan logika formal sebagai dasar untuk bahasa pemrograman.

Penelitian Kowalski memberikan kerangka teoretis, sedangkan penelitian Colmerauer memunculkan bahasa pemrograman Prolog.

Colmerauer dan timnya kemudian membangun penerjemah pertama, dan David Warren di Departemen AI, Universitas Edinburgh, menghasilkan kompiler pertama.

Fitur penting dari Prolog adalah unifikasi dan backtracking. Penyatuan menunjukkan bagaimana dua struktur arbitrer dapat dibuat sama, dan prosesor Prolog menggunakan strategi pencarian yang mencoba menemukan solusi untuk masalah dengan mundur ke jalur lain jika salah satu pencarian tertentu menemui jalan buntu.

Prolog baik untuk windowing dan multimedia karena kemudahan membangun struktur data yang kompleks secara dinamis, dan juga karena konsep mundur dari operasi dibangun ke dalam bahasa.

Prolog diajarkan di lebih banyak gelar komputasi universitas Inggris daripada bahasa pemrograman lainnya.

Bagian ISO/IEC 13211 ini mendefinisikan fitur inti umum Prolog, dan bagian 2 akan mendefinisikan modul

ISO/IEC 13211-1:1995 Klausa 1-3

1 Scope : Lingkup

ISO/IEC 13211 dirancang untuk mempromosikan penerapan dan portabilitas teks dan data Prolog di antara berbagai sistem pemrosesan data.

Bagian ISO/IEC 13211 ini menetapkan:

• a) Representasi teks Prolog,
• b) Sintaks dan batasan bahasa Prolog,
• c) Aturan semantik untuk menafsirkan teks Prolog,
• d) Representasi data input yang akan diproses oleh Prolog,
• e) Representasi output yang dihasilkan oleh Prolog, dan
• f) Pembatasan dan batasan yang dikenakan pada prosesor Prolog yang sesuai.

Catatan

Bagian ISO/IEC 13211 ini tidak menentukan:

• a) ukuran atau kompleksitas teks Prolog yang akan melebihi kapasitas sistem pemrosesan data atau pemroses bahasa tertentu, atau tindakan yang harus diambil ketika batas yang sesuai terlampaui;
• b) persyaratan minimal sistem pemrosesan data yang mampu mendukung implementasi prosesor Prolog;
• c) metode pengaktifan prosesor Prolog atau kumpulan perintah yang digunakan untuk mengontrol lingkungan di mana teks Prolog disiapkan untuk dieksekusi dan dieksekusi;
• d) mekanisme di mana teks Prolog disiapkan untuk digunakan oleh sistem pemrosesan data;
• e) representasi tipografi dari teks Prolog yang diterbitkan untuk dibaca manusia;
• f) lingkungan pengguna (loop tingkat atas, debugger, sistem perpustakaan, editor, kompiler, dll.) dari prosesor Prolog.

Bagian ISO/IEC 13211 ini dimaksudkan untuk digunakan oleh pelaksana dan pemrogram yang berpengetahuan luas, dan bukan merupakan tutorial.

1.1 Notes : Catatan

Catatan di bagian ISO/IEC 13211 ini tidak berpengaruh pada bahasa, teks Prolog, atau prosesor Prolog yang didefinisikan sebagai sesuai dengan bagian ISO/IEC 13211 ini.

Alasan untuk menyertakan catatan meliputi:

• a) Referensi silang ke klausa dan subklausa lain dari bagian ISO/IEC 13211 ini untuk membantu pembaca menemukan jalan keluarnya,
• b) Peringatan ketika predikat bawaan seperti yang didefinisikan di bagian ISO/IEC 13211 ini memiliki arti yang berbeda dalam beberapa implementasi yang ada.

2 Normative references : Referensi normatif

Standar berikut berisi ketentuan yang, melalui referensi dalam teks ini, merupakan ketentuan dari bagian ISO/IEC 13211 ini.

Pada saat publikasi, edisi yang ditunjukkan adalah valid.

Semua standar dapat direvisi, dan pihak-pihak dalam perjanjian berdasarkan bagian ISO/IEC 13211 ini didorong untuk menyelidiki kemungkinan penerapan edisi terbaru dari standar yang tercantum di bawah ini.

Anggota IEC dan ISO memelihara daftar Standar Internasional yang berlaku saat ini.

• ISO/IEC 646 : 1991, Information technology — ISO 7-bit coded character set for information interchange.
• ISO 2382-15 : 1985, Data processing — Vocabulary — Part 15: Programming languages.
• ISO 8859-1 : 1987, Information technology — 8-bit single-byte coded graphic character sets — Part I: Latin alphabet No. 1.
• ISO/IEC 9899 : 1990, Programming languages — C.
• ISO/IEC TR 10034 : 1990, Guidelines for the preparation of conformity clauses in programming language standards.
• ISO/IEC 10967-1 : 1994, Information technology — Language independent arithmetic — Part 1: Integer and floating point arithmetic.
• BS 6154 : 1981, Method of defining — Syntactic metalanguage.

3 Definition : Definisi

Terminologi untuk Prolog ini memiliki format yang dimodelkan pada ISO 2382.

Entri terdiri dari frasa (dalam huruf tebal) yang didefinisikan, diikuti dengan definisinya.

Kata-kata dan frasa yang didefinisikan dalam glosarium dicetak miring ketika digunakan dalam entri lain.

Jika definisi berisi dua kata atau frasa yang didefinisikan dalam entri terpisah yang secara langsung saling mengikuti (atau hanya dipisahkan oleh tanda baca), * (tanda bintang) memisahkannya.

Kata dan frasa yang tidak didefinisikan dalam glosarium ini dianggap memiliki arti yang diberikan dalam ISO 2382-15; jika mereka tidak muncul dalam ISO 2382-15, maka mereka dianggap memiliki arti yang biasa.

Untuk tujuan ISO/IEC 13211, definisi berikut berlaku:

ISO IEC 13211-1 Klausa 3.1 – 3.18

3.1 A

Kelompok dari atoms (lihat 6.1.2 b, 7.1.4).

3.2 activation : pengaktifan

Proses mengeksekusi aktivator.

3.3 activator : penggerak

Hasil mempersiapkan tujuan untuk dieksekusi.

3.4 algorithm : algoritma

Herbrand

lihat Algoritma Herbrand

3.5 alias

Sebuah atom yang terkait dengan aliran terbuka.

Aliran input standar memiliki alias input-pengguna, dan aliran output standar memiliki alias user_output.

• Catatan 1 : Aliran dapat memiliki banyak alias, tetapi atom dapat menjadi alias paling banyak satu aliran.

3.6 anonymous variable : variabel anonim

Variabel (diwakili dalam istilah atau teks Prolog oleh _) yang berbeda dari setiap variabel lainnya (dan variabel anonim).

3.7 argument : argumen

Istilah yang dikaitkan dengan predikat atau istilah majemuk.

3.8 arithmetic data type : tipe data aritmatika

Tipe data yang nilainya adalah anggota Z atau R.

3.9 arity : aritas

Jumlah argumen dari istilah majemuk. Secara sintaksis, bilangan bulat non-negatif terkait dengan fungsi atau predikat.

3.10 assert : Menegaskan

to

Untuk menegaskan klausa adalah menambahkannya ke prosedur yang ditentukan pengguna dalam database yang ditentukan oleh predikat klausa itu.

• Catatan 1 : Prosedur yang ditentukan pengguna tidak perlu sudah ada.

3.11 associativity (of an operator) : asosiatif (dari operator)

Sifat menjadi non-asosiatif, asosiatif kanan, atau asosiatif kiri.

3.12 atom

Objek dasar, dilambangkan dengan pengenal (lihat 6.1.2 b, 7.1.4).

3.13 atom

null

lihat null atom

3.14 atom

one-char : satu karakter

lihat atom satu-char

3.15 atomic term : istilah atom

Sebuah atom atau nomor.

3.16 axiom : aksioma

Aturan yang dipenuhi oleh suatu operasi dan semua nilai dari tipe data yang dimiliki oleh operasi tersebut.

3.17 backtrack : mundur

to

Untuk kembali ke titik pilihan tujuan saat ini untuk mencoba menjalankannya kembali.

3.18 bias : bias

exponent : eksponen

lihat bias eksponen

ISO IEC 13211-1 Klausa 3.19 – 3.35

3.19 body

Sebuah tujuan, dibedakan oleh konteksnya sebagai bagian dari aturan.

Lihat: 3.154

3.20 bootstrapped (built-in predicate) : bootstrap (predikat bawaan)

Didefinisikan sebagai kasus khusus dari predikat bawaan yang lebih umum.

3.21 built-in predicate : predikat bawaan

Prosedur yang eksekusinya diimplementasikan oleh prosesor.

3.22 byte

Sebuah bilangan bulat dalam kisaran [0..255].

3.23 C

Kumpulan characters (karakter).

3.24 callable term : istilah yang dapat dipanggil

Sebuah atom atau istilah senyawa.

3.25 CC

Kumpulan character codes (kode karakter)

3.26 character : karakter

Anggota C — set karakter yang ditentukan implementasi.

3.27 character : karakter

quoted : dikutip

lihat karakter yang dikutip

3.28 character : karakter

unquoted : tidak dikutip

lihat karakter tanpa tanda kutip

3.29 character-conversion mapping : pemetaan konversi karakter

Pemetaan pada set karakter, C, yang menetapkan bahwa, dalam beberapa unit dan sumber teks Prolog, beberapa karakter dimaksudkan untuk setara dengan karakter lain, dan dikonversi ke karakter tersebut.

lihat convc

3.30 choicepoint : titik pilihan

Sebuah keadaan selama eksekusi dari mana tujuan dapat dieksekusi di lebih dari satu cara.

3.31 class (of an operator) : kelas (dari operator)

Kelas dari sebuah operator menentukan apakah itu sebuah prefix, infix, atau postfix operator.

3.32 clause : ayat

Sebuah fakta atau aturan. Ini memiliki dua bagian: kepala, dan tubuh.

• Catatan 1 : Dalam Standar Internasional ISO/IEC “klausa” memiliki arti: salah satu paragraf bernomor dari suatu standar. Di bagian ISO/IEC 13211 ini, konteksnya membedakan dua arti.

3.33 clause-term : klausa-term

Suatu read-term T. dalam teks Prolog di mana T tidak memiliki fungsi utama (:-)/!.

3.34 collating sequence : menyusun urutan

Implementasi yang didefinisikan pengurutan yang ditentukan pada set karakter C.

3.35 complete database : database lengkap

Serangkaian prosedur sehubungan dengan eksekusi yang dilakukan.

ISO IEC 13211-1 Klausa 3.36 – 3.45

3.36 composition (of two substitutions) : komposisi (dari dua substitusi)

Pemetaan yang dihasilkan dari penerapan substitusi pertama diikuti dengan penerapan yang kedua. Komposisi substitusi 1 dan 2 dinotasikan 1 o σ2 Ketika komposisi bekerja pada suku t, dilambangkan dengan ta\(T2, dengan arti ((tσ1)σ2).

3.37 compound term : istilah majemuk

Sebuah fungsi dari aritas N, N positif, bersama dengan urutan argumen N (lihat 6.1.2 e, 7.1.5).

3.38 configuration : konfigurasi

Komputer host dan target, sistem operasi apa pun, dan perangkat lunak yang digunakan untuk mengoperasikan prosesor.

3.39 conforming processor : conforming processor

Conforming processor dengan semua klausul kepatuhan (lihat 5.1) untuk prosesor di bagian ISO/IEC 13211 ini.

3.40 conforming Prolog data : data Prolog yang sesuai

Urutan karakter dan byte yang sesuai dengan semua klausul kepatuhan untuk data Prolog di bagian ISO/IEC 13211 ini.

3.41 conforming Prolog text : sesuai teks Prolog

Urutan karakter yang sesuai dengan semua klausa kepatuhan untuk teks Prolog di bagian ISO/IEC 13211 ini.

3.42 construct : membangun

control : kontrol

lihat konstruksi kontrol

3.43 constructor : konstruktor

list : daftar

lihat pembuat daftar

3.44 contain : berisi

to

Suatu suku T1 mengandung suku lain T2 jika Tl dan T2 adalah suku-suku yang identik, atau Tl adalah suku majemuk, yang salah satu argumennya mengandung T2.

3.45 control construct : konstruksi kontrol

Prosedur yang definisinya merupakan bagian dari prosesor Prolog.

ISO IEC 13211-1 Klausa 3.46 – 3.51

3.46 Convc

Pemetaan konversi karakter pada C (kumpulan karakter) yang menetapkan bahwa, di beberapa unit dan sumber teks Prolog, beberapa karakter dikonversi ke karakter lain.

lihat pemetaan konversi karakter

Nilai awal Convc adalah identity_mappingc.

Catatan 1:

• 1 Directive atau goal char.convers i on ( In, Out) (7.4.2.5, 8.14.5) menggantikan Convc dengan memperbarui -mapping c (in, Out, Convc).
• 2 Karakter C yang tidak dikutip yang merupakan bagian dari read-term yang dimasukkan oleh read.term/3 (8.14.1) atau sebagai teks Prolog diganti dengan apply .mapping c(C, Convc)
• 3 Convc dapat diperiksa dengan memanggil current-Char_conversion/2 (8.14.6).
• 4 Alasan untuk menyediakan fasilitas ini adalah karena beberapa set karakter tambahan (misalnya, set karakter JIS Jepang) digunakan dengan set karakter dasar dan berisi karakter yang setara dengan yang ada di set karakter dasar dengan pengkodean yang berbeda. Dalam kasus seperti itu, pengguna akan sering menginginkan arti karakter dalam data Prolog dan teks Prolog sama terlepas dari penyandiannya.

3.47 convert (from type A to type B) : mengkonversi (dari tipe A ke tipe B)

Sebuah operasi yang tanda tangannya adalah

convertA→B : A →B U {error}

yang mengubah nilai tipe A menjadi tipe B. Ini akan menjadi kesalahan jika konversi tidak dapat dilakukan.

Misalnya, lihat mengonversi istilah ke klausa dan sebaliknya (7.6), konversi karakter (3.29, 7.4.2.5, 8.14.5), dan mengonversi nilai floating point ke nilai integer dan sebaliknya (9.1.6) .

3.48 copy : salinan

renamed (of a term) : berganti nama (dari istilah)

lihat salinan berganti nama

3.49 CT

Himpunan suku majemuk (lihat 6.1.2 e, 7.1.5).

3.50 cut : memotong

Konstruksi kontrol yang efeknya adalah menghapus semua titik pilihan kembali ke status eksekusi yang lebih dalam yang ditentukan oleh cutparent-nya.

3.51 data

conforming Prolog : sesuai Prolog

lihat data Prolog yang sesuai

Klausa 3.52 – 3.67

3.52 database : basis data

Kumpulan prosedur yang ditentukan pengguna yang saat ini ada selama eksekusi.

3.53 database : basis data

complete : menyelesaikan

lihat database lengkap

3.54 data type : tipe data

Satu set nilai dan satu set operasi yang memanipulasi nilai-nilai tersebut.

3.55 data type : tipe data

arithmetic

lihat tipe data aritmatika

3.56 denormalized value : nilai terdenormalisasi

Nilai floating point tipe F memberikan kurang dari presisi penuh yang diizinkan oleh F (lihat Fd, 7.1.3).

3.57 directive : pengarahan

Sebuah istilah D yang mempengaruhi makna teks Prolog (lihat 7.4.2), dan dilambangkan dalam teks Prolog itu dengan istilah direktif (D) .

3.58 directive-term : istilah direktif

Sebuah suku baca T. dalam teks Prolog di mana T memiliki fungsi utama ( : — ) /1.

3.59 dynamic (of a procedure) : dinamis (dari suatu prosedur)

Prosedur dinamis adalah prosedur yang klausanya dapat diperiksa atau diubah selama eksekusi, misalnya dengan menegaskan atau mencabut klausa *.

3.60 effect : memengaruhi

side : samping

lihat efek samping

3.61 element (of a list) : elemen (dari daftar)

Elemen non-emptylist adalah kepala daftar atau elemen ekor daftar. Daftar kosong tidak memiliki elemen.

3.62 emptylist : daftar kosong

atom [ ] (nol).

3.63 error : kesalahan

Keadaan khusus yang menyebabkan proses eksekusi normal terganggu.

3.64 évaluable functor : fungsi yang berharga

Fungsi utama ekspresi.

3.65 evaluate : evaluasi

Untuk mengurangi ekspresi ke nilainya.

3.66 exceptional value : nilai luar biasa

Nilai non-numerik dari ekspresi: float_overflow, int_overflow, underflow, zero.divisor, atau undefined.

• Catatan 1 : Ini adalah kesalahan evaluasi (E) ketika nilai ekspresi adalah nilai luar biasa.

3.67 execution (verb : eksekusi (kata kerja

untuk mengeksekusi): Proses dimana prosesor Prolog mencoba untuk memenuhi tujuan.

Klausa 3.68 – 3.83

3.68 exponent bias : bias eksponen

Angka yang ditambahkan ke eksponen angka floating point, biasanya untuk mengubah eksponen menjadi bilangan bulat yang tidak ditandatangani.

3.69 expression : ekspresi

Sebuah istilah atom atau istilah senyawa yang dapat dievaluasi untuk menghasilkan nilai.

3.70 extension : perpanjangan

Fasilitas yang disediakan oleh prosesor yang tidak ditentukan dalam bagian ISO/IEC 13211 ini tetapi tidak akan menimbulkan ambiguitas atau kontradiksi jika ditambahkan ke bagian ISO/IEC 13211 ini.

3.71 F

Himpunan nilai floating point (lihat 6.1.2 d, 7.1.3).

3.72 fact : fakta

Sebuah klausa yang tubuhnya adalah tujuan yang benar.

• Catatan 1 : Sebuah fakta dapat direpresentasikan dalam teks Prolog dengan suku yang fungsi utamanya bukan ( : – ) /1 atau ( : – ) / 2.

3.73 fail : gagal

to

eksekusi tujuan gagal jika tidak puas.

3.74 file name : nama file

Sebuah implementasi yang ditentukan * istilah dasar yang mengidentifikasi ke prosesor sebuah file yang akan digunakan untuk input/output selama eksekusi teks Prolog.

3.75 flag : bendera

Sebuah atom yang dikaitkan dengan implementasi yang ditentukan atau nilai yang ditentukan pengguna.

3.76 floating point value : nilai titik mengambang

Anggota himpunan F (lihat 6.1.2 d, 7.1.3).

3.77 functor : fungsi

Pengidentifikasi bersama dengan arity.

3.78 functor name : nama fungsi

Pengidentifikasi functor.

3.79 function : fungsi

rounding : pembulatan

lihat fungsi pembulatan

3.80 functor : fungsi

principal : Kepala Sekolah

lihat fungsi utama

3.81 goal :sasaran

Predikasi yang akan dieksekusi (lihat isi, kueri, dan 7.7.3).

3.82 ground term : istilah dasar

Sebuah istilah atom atau istilah majemuk yang argumen semua dasar. Sebuah istilah adalah dasar sehubungan dengan substitusi jika penerapan substitusi menghasilkan istilah dasar.

3.83 head (of a list) : kepala (dari daftar)

Argumen pertama dari non-emptylist.

Klausa 3.84 – 3.96

3.84 head (of a rule) : kepala (dari aturan)

Predikasi, dibedakan berdasarkan konteksnya.

3.85 Herbrand algorithm : Algoritma Herbrand

Sebuah algoritma yang menghitung MGU pemersatu paling umum dari satu set persamaan (lihat 7.3.2).

3.86 I

Himpunan bilangan bulat (lihat 6.1.2 c, 7.1.2).

3.87 identical terms : istilah identik

Dua istilah identik jika mereka memiliki sintaksis abstrak yang sama (lihat 6.1.2).

3.88 identifier : pengenal

Sebuah objek tidak terstruktur dasar yang digunakan untuk menunjukkan sebuah atom, nama functor atau nama predikat.

3.89 iff

Jika dan hanya jika.

3.90 implementation defined : implementasi ditentukan

Didefinisikan sebagian oleh bagian ISO/IEC 13211, dan sebagian lagi oleh dokumentasi yang menyertai prosesor.

3.91 implementation dependent : tergantung implementasi

Fitur yang bergantung pada implementasi bergantung pada prosesor.

• Catatan 1 : Bagian ISO/IEC 13211 ini tidak memerlukan fitur yang bergantung pada implementasi untuk didefinisikan dalam dokumentasi prosesor yang menyertainya.

3.92 implementation specific : spesifik implementasi

Tidak ditentukan oleh bagian ISO/IEC 13211 ini tetapi didukung oleh conforming processor.

• Catatan 1 : Bagian ISO/IEC 13211 ini tidak memerlukan fitur implementasi khusus untuk didukung oleh conforming processor, tetapi mempertahankan sintaks dan semantik dari teks Prolog yang benar-benar sesuai yang tidak menggunakannya, misalnya, mendefinisikan urutan istilah pada variabel, atau mendefinisikan penyatuan untuk istilah yang STO (3.165).

3.93 indicator : indikator

predicate : predikat

lihat indikator predikat

3.94 input/output mode : mode masukan/keluaran

Sebuah atom yang mewakili atribut aliran. Prosesor harus mendukung mode input/output: baca, tulis, tambahkan.

3.95 instance (of a term) : contoh (dari istilah)

Hasil penerapan substitusi pada istilah.

Jika t adalah suku dan substitusi, turunan dari t oleh a dinotasikan ta.

3.96 instantiated : dipakai

Sebuah variabel dipakai sehubungan dengan substitusi jika penerapan substitusi menghasilkan istilah atom atau istilah senyawa.

Sebuah istilah dipakai jika salah satu variabelnya dipakai.

Klausa 3.97 – 3.114

3.97 integer value : nilai bilangan bulat

Anggota himpunan I (lihat 6.1.2 c, 7.1.2).

3.98 level : tingkat

top : atas

lihat top level

3.99 list : daftar

Baik daftar kosong atau non-daftar kosong.

• Catatan 1 : Contoh: [], [a, X], [1, 2, _] , [a | [b] ]

3.100 listconstructor : pembuat daftar

Fungsi utama .’/2 digunakan untuk membuat daftar.

3.101 list : daftar

empty : kosong

lihat daftar kosong

3.102 list : daftar

non-empt y : tidak kosong

lihat daftar tidak kosong

3.103 list : daftar

partial : sebagian

lihat daftar sebagian

3.104 list : daftar

read-options : opsi baca

lihat daftar opsi baca

3.105 list : daftar

write-options : opsi tulis

lihat daftar opsi tulis

3.106 mapping : pemetaan

Tipe dataMj di mana T adalah tipe data.

3.107 mode : mode

input/output : input output

lihat mode masukan/keluaran

3.108 most general unifier (MGU) : pemersatu paling umum (MGU)

Pemersatu paling umum (MGU) dari istilah adalah substitusi minimal yang bekerja pada istilah untuk membuat mereka identik. Setiap pemersatu adalah turunan dari beberapa MGU.

• Catatan 1 : Ini didefinisikan hingga penggantian nama variabel. Jika idempoten tidak ada variabel dari domainnya yang muncul dalam istilah yang dihasilkan. MGU idempoten dapat dihitung dengan algoritma Herbrand (lihat 7.3.2).

3.109 name (of atom) : nama (atom)

Urutan karakter yang membedakan atom dari atom yang berbeda (lihat 6.1.2 b).

3.110 name : nama

file : mengajukan

lihat nama file

3.111 name : nama

functor : fungsi

lihat nama fungsi

3.112 name : nama

predicate : predikat

lihat nama predikat

3.113 named variable : variabel bernama

Variabel yang bukan merupakan variabel anonim (lihat 6.1.2 a, 6.4.3).

3.114 non-empty list : daftar tidak kosong

Suku majemuk yang fungsi utamanya adalah konstruktor daftar dan argumen keduanya adalah daftar.

Klausa 3.115 – 3.132

3.115 normalized value : nilai yang dinormalisasi

Nilai floating point typeF yang memberikan presisi penuh yang diizinkan oleh F.

3.116 NSTO

Not subject to occurs-check.

3.117 null atom : atom nol

atom.

3.118 number : nomor

Nilai integer atau nilai floating point.

3.119 one-char atom : atom satu-char

Sebuah atom yang namanya adalah karakter tunggal.

3.120 operand (of a compound term or predication) : operan (dari istilah majemuk atau predikat)

Argumen dari istilah majemuk {predikasi) yang nama fungsi (nama predikat) adalah operator.

3.121 operand (of an operation) : operan (dari suatu operasi)

Nilai yang diberikan ke operasi yang ditentukan oleh tanda tangan dan satu atau lebih aksioma.

3.122 operator : operator

Nama fungsi atau nama predikat yang memungkinkan istilah majemuk atau predikat masing-masing, untuk dinyatakan dalam bentuk awalan, sisipan, atau pascafiksasi.

3.123 operator : operator

predefined : sudah ditentukan sebelumnya

lihat operator yang telah ditentukan sebelumnya

3.124 options : pilihan

stream : sungai kecil

lihat opsi aliran

3.125 partial list : daftar sebagian

Variabel, atau suku majemuk yang fungsi utamanya adalah konstruktor daftar dan argumen keduanya adalah daftar parsial.

• Catatan 1 : Konsep daftar parsial digunakan dalam 8.5.3. Contoh: A, [a | X], [1, 2 | B]

3.126 position : posisi

stream : sungai kecil

lihat posisi aliran

3.127 precision : presisi

Jumlah digit dalam pecahan nilai floating point.

3.128 predefined operator : operator yang telah ditentukan sebelumnya

Operator yang awalnya disediakan oleh prosesor..

3.129 predicate : predikat

Pengidentifikasi bersama dengan arity.

3.130 predicate : predikat

built-in : bawaan

lihat predikat bawaan

3.131 predicate indicator : indikator predikat

Suku majemuk a/n, di mana a adalah atom dan n adalah bilangan bulat non-negatif, yang menunjukkan satu prosedur tertentu.

3.132 predicate name : nama predikat

Pengidentifikasi predikat.

Klausa 3.133 – 3.145

3.133 predication : benaran

Predikat dengan arity N dan urutan argumen N.

3.134 principal functor : fungsi utama

Fungsi utama dari suku majemuk adalah F/N jika fungsi dari suku majemuk adalah F dan aritasnya adalah N.

Fungsi utama suatu suku atom adalah c/0 jika suku atom adalah c.

3.135 private (of a procedure) : pribadi (dari suatu prosedur)

Prosedur privat adalah prosedur yang klausanya tidak dapat diperiksa selama eksekusi.

3.136 procedure : prosedur

Konstruksi kontrol, predikat bawaan, atau prosedur yang ditentukan pengguna. Sebuah prosedur adalah baik statis atau dinamis. Suatu prosedur bersifat privat atau publik.

3.137 procedure : prosedur

user-defined : ditetapkan pengguna

lihat prosedur yang ditentukan pengguna

3.138 processor : prosesor

Kompiler atau juru bahasa yang bekerja dalam kombinasi dengan konfigurasi.

3.139 processor : prosesor

conforming : sesuai

lihat conforming processor

3.140 Prolog data : Data awal

Suatu urutan dari read-terms.

3.141 Prolog text : teks prolog

Urutan read-terms yang menunjukkan arahan dan klausa.

3.142 public (of a procedure) : publik (dari suatu prosedur)

Prosedur publik adalah prosedur yang klausanya dapat diperiksa selama eksekusi, misalnya dengan memanggil klausa predikat bawaan/2.

3.143 query : pertanyaan

Sebuah tujuan yang diberikan sebagai masukan interaktif ke tingkat atas.

• Catatan 1 : Bagian ISO/IEC 13211 ini tidak mendefinisikan atau memerlukan prosesor untuk mendukung konsep tingkat atas.

3.144 quoted character : karakter yang dikutip

Karakter dalam teks Prolog atau data Prolog yang merupakan karakter kutip tunggal atau karakter kutip ganda atau karakter kutip belakang.

• Catatan 1 : Misalnya, ‘ a ‘ ‘ b\ ‘ c ‘ berisi 5 karakter yang dikutip (1) a, (2) (3) b, (4) ‘ (meta escape sequence), (5) c.

3.145 R

Himpunan bilangan real.

Klausa 3.146 – 3.156

3.146 read-option : opsi baca

Istilah majemuk dengan argumen * yang tidak digunakan yang memperkuat hasil yang dihasilkan oleh predikat bawaan read.term/3 (8.14.1) dan predikat bawaan * bootstrap yang didasarkan padanya.

3.147 read-options list : daftar opsi baca

Daftar opsi baca.

3.148 read-term : istilah baca

Istilah yang diikuti oleh token akhir.

3.149 re-execute : eksekusi ulang

to

Mengeksekusi kembali suatu tujuan berarti mencoba memenuhinya lagi.

3.150 renamed copy : salinan berganti nama

(dari istilah) Sebuah varian khusus dari istilah.

3.151 retract : menarik

to

Untuk menarik kembali klausa berarti menghapusnya dari prosedur yang ditentukan pengguna dalam database yang ditentukan oleh predikat klausa itu.

3.152 rounding : pembulatan

Menghitung nilai akhir yang dapat direpresentasikan (untuk suatu operasi) yang mendekati nilai yang tepat (tetapi tidak dapat direpresentasikan) untuk operasi tersebut.

3.153 rounding function : fungsi pembulatan

Sebuah fungsi dengan tanda tangan: rnd : R→X(dimana X adalah subset diskrit dari R)

yang memetakan setiap anggota X ke dirinya sendiri, dan monoton tidak menurun. Secara formal, jika x dan y berada di R,

x X => rnd(x) = x

x < y => rnd(x) < rd{y)

Catatan 1 : Jika u R berada di antara dua nilai yang berdekatan dalam X, rnd(u) memilih salah satu dari nilai-nilai yang berdekatan tersebut.

3.154 rule : aturan

Sebuah klausa yang tubuhnya bukan tujuan yang benar. Selama eksekusi, jika body benar untuk beberapa substitusi, maka head juga benar untuk substitusi itu. Aturan direpresentasikan dalam teks Prolog dengan istilah yang fungsi utamanya adalah ( : — ) / 2 di mana argumen pertama diubah menjadi kepala, dan argumen kedua diubah menjadi badan.

3.155 satisfy : memuaskan

to : ke

Untuk memenuhi tujuan adalah untuk melaksanakannya dengan sukses.

3.156 sequence : urutan

collating :

lihat collating sequence

Klausa 3.157 – 3.170

3.157 side effect : efek samping

Efek non-logis dari aktivator selama eksekusi.

3.158 signature effect : tanda tangan

Spesifikasi operasi yang mendefinisikan namanya, dan jenis operan dan nilainya.

• Catatan 1 : Operasi selanjutnya didefinisikan oleh satu atau lebih aksioma.

Misalnya tanda tangan:

addi : I x I —→ I U {int_overflow}

mendefinisikan operasi penjumlahan yang mengambil dua operan bilangan bulat (I x I) dan menghasilkan nilai bilangan bulat tunggal (I) atau nilai luar biasa int_overflow.

3.159 sink effect : tenggelam

Objek fisik tempat prosesor mengeluarkan hasil, misalnya file, terminal, atau saluran komunikasi antarproses.

3.160 source effect : sumber

Objek fisik dari mana prosesor memasukkan data, misalnya file, terminal, atau saluran komunikasi antarproses.

3.161 source/sink effect : sumber/wastafel

Sebuah sumber atau wastafel.

3.162 specifier (of an operator) effect : specifier (dari operator)

Salah satu atom fx, fy, xfx, xfy, yfx, xf atau yf. Sebuah specifier menunjukkan kelas dan asosiatifitas dari sebuah operator.

3.163 stack effect : tumpukan

Tipe data SD di mana D adalah tipe data.

3.164 static (of a procedure) effect : statis (dari suatu prosedur)

Prosedur statis adalah prosedur yang klausanya tidak dapat diubah.

3.165 STO

Subject to occurs-check

3.166 stream effect : sungai kecil

Koneksi ke sumber atau wastafel.

3.167 stream-options effect : efek opsi aliran

Daftar nol atau lebih istilah yang menentukan karakteristik tambahan di atas dan di atas yang diberikan oleh mode aliran.

3.168 stream position effect : efek posisi aliran

Posisi absolut dalam sumber/sink yang terhubung dengan aliran.

3.169 stream effect

target effect

Lihat 7.10.2.5 — aliran target.

3.170 stream-term : istilah aliran

Istilah dasar * yang bergantung pada implementasi yang mengidentifikasi aliran di dalam teks Prolog.

Klausa 3.171 – 3.187

3.171 substitution : pengganti

Pemetaan dari variabel ke istilah. Dengan ekstensi substitusi bertindak pada istilah dengan bertindak pada setiap variabel dalam istilah.

• Catatan 1 : Substitusi diwakili oleh huruf Yunani (misalnya , , .) yang bertindak sebagai operator postfix, misalnya:

Substitution	σ	{ X → a, Y —> 3 + Z, Z —→ b }
Term	T	foo(X, Y, Z)
New term	Ta	foo(a, 3 + Z, b)

3.172 succeed : berhasil

to

Eksekusi tujuan berhasil jika puas.

3.173 tail

Argumen kedua dari daftar yang tidak kosong .

3.174 target stream : aliran sasaran

Lihat 7.10.2.5 — Aliran target.

3.175 term : istilah

Sebuah istilah atom, istilah senyawa atau variabel.

3.176 term : istilah

atomic : atom

lihat istilah atom

3.177 term : istilah

callable : bisa dipanggil

lihat istilah yang dapat dipanggil

3.178 term : istilah

compound : menggabungkan

lihat istilah majemuk

3.179 term : istilah

ground : dasar

lihat istilah dasar

3.180 terms : istilah

identical : identik

lihat istilah identik

3.181 term-precedes : istilah-mendahului

Relasi biner pada himpunan istilah yang mendefinisikan urutan total istilah.

3.182 term : istilah

stream : aliran

lihat istilah aliran

3.183 text : teks

conforming Prolog : sesuai Prolog

lihat sesuai teks Prolog

3.184 text : teks

Prolog : Prolog

lihat teks prolog

3.185 top level : level tertinggi

Sebuah proses dimana prosesor Prolog berulang kali memasukkan dan mengeksekusi kueri *.

• Catatan 1 : Bagian ISO/IEC 13211 ini tidak mendefinisikan atau memerlukan prosesor untuk mendukung konsep tingkat atas.

3.186 type : Tipe

Jenis istilah adalah properti dari istilah tergantung pada sintaks dan merupakan salah satu dari: atom, bilangan bulat, floating point, variabel atau istilah senyawa.

3.187 type : Tipe

data : data

lihat tipe data

Klausa 3.188 – 3.203

3.188 undefined : tidak terdefinisi

Sebuah fitur tidak terdefinisi jika bagian dari ISO/IEC 13211 (1) menyatakan itu tidak terdefinisi, atau (2) tidak membuat persyaratan mengenai pelaksanaannya.

3.189 unifiable : tidak dapat dipisahkan

Dua atau lebih istilah tidak dapat disatukan jika ada pemersatu untuk mereka.

3.190 unifier (of two or more terms) : pemersatu (dari dua atau lebih istilah)

Substitusi sedemikian rupa sehingga menerapkan substitusi ini ke setiap istilah menghasilkan istilah yang identik.

3.191 unifier : pemersatu

most general : paling umum

lihat pemersatu paling umum (MGU)

3.192 unify : menyatukan

to

Untuk menemukan dan menerapkan pemersatu paling umum dari dua istilah dengan berhasil mengeksekusi (secara eksplisit atau implisit) predikat bawaan ( = ) / 2 (menyatukan).

3.193 uninstantiated : tidak berdasar

Sebuah variabel uninstantiated ketika tidak instantiated.

3.194 unquoted character : karakter tanpa tanda kutip

Karakter dalam teks Prolog atau data Prolog yang bukan karakter kutipan.

3.195 user-defined procedure : prosedur yang ditentukan pengguna

Prosedur yang didefinisikan oleh urutan klausa di mana kepala setiap klausa memiliki indikator predikat yang sama, dan setiap klausa dinyatakan oleh teks Prolog atau telah ditegaskan selama eksekusi.

3.196 V

Himpunan variabel, (lihat 6.1.2 a, 7.1.1).

3.197 value : nilai

denormalized : dinormalisasi

lihat nilai terdenormalisasi

3.198 value : nilai

exceptional : luar biasa

lihat nilai luar biasa

3.199 value : nilai

normalized : dinormalisasi

lihat nilai yang dinormalisasi

3.200 variable : variabel

Sebuah objek yang mungkin menjadi instantiated ke istilah selama eksekusi, (lihat 6.1.2 a, 7.1.1).

3.201 variable : variabel

anonymous  : anonim

lihat variabel anonim

3.202 variable : variabel

named : bernama

lihat variabel bernama

3.203 variable set (of a term) : himpunan variabel (dari suatu istilah)

Lihat 7.1.1.1 — Himpunan variabel dari suatu istilah.

Klausa 3.204 – 3.208

3.204 variant (of a term) : varian (dari istilah)

Lihat 7.1.6.1 — Varian dari sebuah istilah.

Tabel 1 — Set dasar

Symbol	Mathematical Type
R	real numbers
Z	integers
B	Boolean (= {true, false})

3.205 witness (of a set of variables) : saksi (dari satu set variabel)

Lihat 7.1.1.2 — Saksi dari himpunan variabel.

3.206 write-option : opsi tulis

Istilah dasar yang mengontrol output yang dihasilkan oleh predikat bawaan write_term/3 (8.14.2) dan predikat bawaan * bootstrapnya.

3.207 write-options list : daftar opsi tulis

Daftar opsi tulis.

3.208 Z

Himpunan bilangan bulat matematika.

Penutup

Demikian artikel dari standarku.com mengenai Standar ISO/IEC 13211-1:1995.

Mohon saran dari pembaca untuk kelengkapan isi artikel ini, silahkan saran tersebut dapat disampaikan melalui kolom komentar.

Baca artikel lain :

• International Organization for Standardization
• Memahami apa itu Standar ISO
• Memahami Standard atau Standar

Sumber referensi :

• https://www.iso.org/obp/ui/#iso:std:iso-iec:13211:-1:ed-1:v1:en:term:3.170
• https://www.iso.org/standard/21413.html