[0] Definite Clause Grammar atau bisa disingkat DCG merupakan sebuah cara untuk mengekspresikan sebuah tatabahasa, DCG dibuat pertama kali untuk prolog system, karena salah satu tujuan prolog dubuat pertama kali ialah untuk melakukan proses pada bahasa natural.
ketika kita membahas mengenai tatabahasa, kita juga akan bertemu dengan notasi [1] BNF, BNF atau Backus–Naur form, BNF digunakan untuk mendeskripsikan syntax dari sebuah bahasa program, saya akan menjelaskan kenapa DCG berhubungan dengan BNF
a -->; "".
a -->; "a", a.
kode diatas adalah contoh sederhana dcg, syntax dcg dalam prolog mirip saat kita membuat rule, syntax dcg adalah "Head --> Body", dalam "Body" bisa berupa terminal, nonterminal dan grammar goals, jika kita baca kode prolog diatas:
"rule pertama adalah str kosong, rule kedua adalah string "a" dan sebuah str"
ketika kita menjalankan kode diatas, prolog system akan seperti ini:
?- a(X, []).
%@ X = []
%@ ; X = "a"
%@ ; X = "aa"
%@ ; X = "aaa"
%@ ; X = "aaaa"
%@ ; ... .
Prolog system akan mencari semua cara agar rulenya adalah benar, dari kode prolog diatas saya bisa langsung mengubahnya ke notasi BNF atau sebaliknya, seperti inilah notasi BNF:
<a> ::= "a" ( <a> | " " )
Dengan kekuatan ini, DCG merupakan sebuah language feature yang sangat kuat, karna kita bisa melakukan parsing dengan mudah.
untuk contoh saya akan menggunakan kata-kata mudah "lahir tahun 2006", untuk DCG seperti inilah kodenya
kalimat --> frasa_kerja, spasi, frasa_waktu.
frasa_kerja --> "lahir".
spasi --> " ".
frasa_waktu --> "tahun", tahun.
tahun --> "2006".
outputnya adalah seperti ini:
?- kalimat(X, []).
%@ X = "lahir tahun 2006".
seperti sebelumnya Prolog system akan mencari variable X apa agar rulenya benar disini nilai X adalah "lahir tahun 2006", kita bisa langsung mengkonfersinya ke Backus–Naur form.
<kalimat> ::= <frasa_kerja> <spasi> <frasa_waktu>
<frasa_kerja> ::= "lahir"
<frasa_waktu> ::= "tahun" <spasi> <tahun>
<tahun> ::= "2000" | "2001" | ... | "2099"
<spasi> ::= " "
cukup untuk perkenalanya, kita langsung ke parsing, selanjutnya saya akan mencoba memparsing nomor tahun pada kode prolog sebelumnya, berekut kode yang sudah saya modifikasi:
kalimat(Tahun) --> frasa_kerja, spasi, frasa_waktu(Tahun).
frasa_kerja --> "lahir".
spasi --> " ".
frasa_waktu(Tahun) --> "tahun", spasi, tahun(Tahun).
tahun([D|Ds]) --> [D], tahun(Ds).
tahun([]) --> [].
seperti inilah ketika saya menjalankan kode diatas:
?- kalimat(X, "lahir tahun 2006", []).
%@ X = "2006"
%@ ; false
setelah saya mempelajari DCG saya membuat aplikasi sederhana, yaitu kalkulator sederhana dengan fitur interpreter seperti bahasa program python dkk, dan saya juga membuat aplikasi truth table generator, dimana saya bisa membuat tabel dengan input sebuah expresi boolean algebra.
trimakasih telah membaca sampai akhir, bila ada tulisan yang salah mohon maaf atau bisa menghubungi saya via email, sampai jumpa.
Referensi
[0] Definite Clause Grammar https://en.wikipedia.org/wiki/Definite_clause_grammar
[1] Backus Naur Form https://en.wikipedia.org/wiki/Backus-Naur_form