References

Abdul Rashid Abdul Latiff. 1987. Hukum pusaka dalam Islam: satu kajian perbandingan. Shah Alam: Hizbi.
Abdul Rashid Abdul Latif. 1988. Konsep keadilan dalam pusaka Islam (faraid). Dlm. Mohd. Ridzuan Awang (pnyt.).       Undang-undang dan pentadbiran harta pusaka orang Islam di Malaysia, hlm. 29-51. Kuala Lumpur: Al-Rahmaniah.
Abdul Razak Hamdan. 1988. Penyelesaian faraid berkomputer. Pasca-Sidang Siri Seminar Sains Komputer II: Inovasi       Komputer di Malaysia, 6-7 April. Universiti Kebangsaan Malaysia, Bangi, 16-1 – 16-15.
Abdul Razak bin Hamdan dan Khairuddin bin Omar. 1991a. Sistem faraid berkomputer. Dlm. Abdul Razak Hamdan dan       Mohamad Yusof (pnyt.). Buku 20 tahun UKM: komputer dan persekitaran, teknik dan implementasi. Bangi:       Jabatan Sains Komputer, FTSM, UKM.
Abdul Razak bin Hamdan dan Khairuddin bin Omar. 1991b. Sistem pakar faraid. Sains Malaysiana 20(4).Al-Haj              Mahomed Ullah ibn S. Jung. 1934. The Muslim law of inheritance. Lahore: Law Publishing Company.
Amandi, A., Campo, M. & Zunino, A. 2005. JavaLog: a framework-based integration of Java and Prolog for         agent-oriented programming. Computer Languages, Systems & Structures 31: 17–33.
Bratko, I. 2001. PROLOG programming for artificial intelligence. Ed. ke-3. London: Addison-Wesley.
Chong Chin-Nyak dan Lee Sau-Lan. 1987. An experimental expert system for generating courseware. Proceedings of       the Expert Systems Development in the ASEAN Region, 10 Disember. Universiti Malaya, Kuala Lumpur.
Chong Men Soon dan Zahran bin Halim. 1989. An enhanced environment for framelog. Proceedings of the First       National Computer Science Conference, 24- 25 Januari. Universiti Malaya, Kuala Lumpur, 19-28.
Durkin, J. 1994. Expert systems: design and development. New Jersey: Prentice Hall.
Eddy, B. & Cawsey, A. 2002. Balancing conciseness, readability and salience in generated text. Proceedings of 13th       International Workshop on Database and Expert Systems Applications, 2-6 September. Aix-en-Provence,       Perancis, 233- 237.
Garavaglia, S. 1987. Prolog: programming techniques and applications. New York: Harper & Row.
      Haji Abdul Ghani bin Haji Yahya. 1952. Cahaya mustika: kaedah membahagi pusaka. Edisi Jawi. Johor Bahru:       Al-Ahmadiah Press.
Hiraishi, H. & Mizoguchi, F. 2004. A cellular telephone-based application for skingrading to support cosmetic sales.       Artificial Intelligence Magazine 25(3): 17-26. Ingargiola, G. 1996. CIS587: the RETE algorithm. Department of       Computer and Information Sciences Lecture Notes. (dalam talian). http://www.cis.temple.edu/       ~ingargio/cis587/readings/rete.html#2 (27 Mei 2004).
Khairuddin bin Omar. 1988. Konsep kepintaran buatan dalam perundangan Islam: kajian kasus faraid. Tesis Sarjana.       Fakulti Teknologi & Sains Maklumat, Universiti Kebangsaan Malaysia, Bangi.
Krishna Rao, M. R. K. 2000. Some classes of prolog programs inferable from positive data. Journal of Theoretical       Computer Science 241(1-2): 211-234.
Lim Ka Seong, Zaidah binti Razak dan Zahran bin Halim. 1989. Classification of financial statement entries using       frame. Proceedings of the First National Computer Science Conference, 24-25 Januari. Universiti Malaya, Kuala       Lumpur, 29-38.
Luger, F. G. dan Stubblefield, W. A. 2002. Artificial intelligence, structures and strategies for complex problem solving.       Ed. ke-4. London: Addison-Wesley. LPA. 2002. Win-Prolog 4.2 Notes. LPA: Language Programming Associates Ltd.       (dalam talian). http://www.lpa.co.uk/win.htm. (26/11/2002).
Malpas, J. 1987. Prolog: a relational language and its applications. New Jersey: Prentice Hall.
Minsky, M. 1975. A framework for representing knowledge. Dlm. Winsto, P. H. (pnyt.). The psychology of computer       vision. New York: MacGraw-Hill.
Mohammad Sham bin Manaf. 1992. Sistem pakar faraid menggunakan cengkerang sistem pakar Hitachi: kes khas.       Disertasi Tahun Akhir. Fakulti Teknologi & Sains Maklumat, Universiti Kebangsaan Malaysia, Bangi.
Mohd Akhir bin Taib. 1988. Hisab faraid dan kalkulator. Dlm. Mohd. Ridzuan Awang (pnyt.). Undang-undang dan       pentadbiran harta pusaka orang Islam di Malaysia, hlm. 169-187. Kuala Lumpur: Al-Rahmaniah.
Mohd Ridzuan bin Awang. 1988. Undang-undang mengenai pentadbiran dan pengurusan harta orang Islam di       Malaysia: suatu pengenalan. Dlm. Mohd. Ridzuan Awang (pnyt.). Undang-undang dan pentadbiran harta pusaka       orang Islam di Malaysia, hlm. 1-28. Kuala Lumpur: Al-Rahmaniah.
Nasrun Bin Mohamad @ Ghazali. 2000. Sistem pakar faraid. Projek Sarjana. Fakulti Teknologi & Sains Maklumat,       Universiti Kebangsaan Malaysia, Bangi.
Negnevitsky, M. 2002. Artificial intelligence: a guide to intelligent system. London: Addison-Wesley.
Nii, H. P. 1993. Profile of a tool vendor: Hitachi. World Technology Evaluation Center. (dalam talian).       http://www.wtec.org/loyola/kb/c3_s4.htm (28 April 2004).
Nuha binti Musa. 1988. Perundangan dengan menggunakan Prolog. Laporan Projek Kepujian. Fakulti Teknologi & Sains       Maklumat, Universiti Kebangsaan Malaysia, Bangi.
Omar bin Haji Yusof. 1962. Pendahuluan faraid, juzuk kedua. Edisi Jawi. Singapura: Al-Ahtidiah Press.
Rowe, N. C. 1988. Artificial intelligence through Prolog. New Jersey: Prentice Hall.
Russell, S. dan Norvig, P. 2003. Artificial intelligence: a modern approach. Ed. ke- 2. New Jersey: Prentice Hall.
Sowa, J. F. 2000. Knowledge representation: logical, philosophical and computational foundations. Pacific Grove, CA:       Brooks/Cole Thomson Learning.
Vranes, S. & Stanojevic, M. 1999. Design knowledge representation in Prolog/Rex. Journal of Engineering Applications       of Artificial Intelligence 12: 221-228.
Walker, A., McCord, M., Sowa J. F. & Wilson, W. G. 1987. Knowledge systems and Prolog. London: Addison-Wesley.
Walters, J. & Nielsen, N. R. 1988. Crafting knowledge-based system: expert systems made easy realistic. New York:       John Wiley & Sons.
Waterman, D. A. 1986. A guide to expert system. Reading: Addison-Wesley.
Weeks, J. dan Berghel, H. 1986. A comparative feature-analysis of microcomputer prolog implementations. ACM       SIGPLAN Notices 21(2): 46-61.
Zahran bin Halim. 1987. A knowledge engineering system of frames and logic. Proceedings of the Expert Systems       Development in the ASEAN Region, 10 Disember. Universiti Malaya, Kuala Lumpur.
Zahran bin Halim. 1989. Logical foundations of framelog. Proceedings of the First National Computer Science       Conference, 24-25 Januari. Universiti Malaya, Kuala Lumpur, 42-49.
Zurinah binti Mohd Yusof. 1983. Penyelesaian faraid secara komputer. Laporan Projek Kepujian. Fakulti Teknologi dan       Sistem Maklumat, Universiti Kebangsaan Malaysia, Bangi.