Rule adalah suatu komponen yang penting dalam kerangka Semantic Web. Sebagai teknologi yang masih baru, rule dalam Semantic Web masih mencari bentuk yang tepat. Rule Markup Initiative telah mendefinisikan spesifikasi yang disebut sebagi RuleML. Spesifikasi RuleML harus ditindaklanjuti dengan adanya implementasi. Beberapa implementasi sudah ada dan kebanyakan berbasis program non-prosedural, seperti Prolog. Dalam penelitian ini tlah dihasilkan sebuah sistem pemrosesan RuleML yang disebut RulePro. Sistem berbasis Java ini memiliki kemampuan untuk membaca rule dalam bentuk Datalog yang kemudian ditranslasikan ke dalam bentuk term. Kemampuan lain yang juga dimiliki sistem ini adalah kemampuan memproses query dalam bentuk file RuleML dan mengembalikan jawaban yang benar sesuai dengan rute dan fact yang ada dalam knowledge base Prolog. Kecepatannya dalam menjalankan query terlihat dalam pengujian yang telah dilakukan dengan menggunakan daa yang cukup besar (2.400 fact dengan rule rekursif). Terdapat dua operasi yang diuji dalam tesis ini, yaitu operasi. Menjalankan Query dan Membaca Rule, Running time dari proses Menjalankan Query RulePro adalah cukup baik, baik untuk rule yang berukuran kecil maupun besar. Namun RulePro lambat dalam proses Membaca Rule untuk file rule yang berukuran besar.