In the context of direct and reflection based extension mechanisms for the Jinni 2000 Java based Prolog system, we discuss the design and the implementation of a reflection based Prolog to Java interface. While the presence of dynamic type information on both the Prolog and the Java sides allows us to automate data conversion between method parameters, the presence of subtyping and method overl...

Attributing the accusation of being “shi‘r” (poetry) to the noble Qur’ān and the accusation of being a “shā‘ir” to the noble Prophet (s) were among the accusations made by the polytheists in order to reject the divinity of the Qur’ān and consequently to deny the prophetic mission of the Prophet (s). Although there have been suggested different viewpoints with regard to the intention of the poly...

The grammatical significance is an extension of the sentence system, arrangement and syntactic movements ([i]), or relationships between words one sentence, divided by Ibn Jinni in his characteristics on three ranks, according to force, "the strongest semantics then followed industrial moral ... Do you not see that he has risen, indication word its source, construction time, meaning subject, fo...

as a one of the most important figures of speech among linguistic phenomena, metonymy is considered to be a factor involved in understanding the meaning of the speaker's intention correctly, hence it is frequently investigated from various aspects of literature, principles of jurisprudence and theology. ibn jinni was a famous grammarian and linguist in the 4th century a.h (10th century ad) who ...

Penelitian inijdilakukan karena belum ada media pembelajaran yang digunakan pada kegiatan di sekolah khususnya materi simetri lipat dan jputar, sumber belajar hanya menggunakan buku guru danjbuku jsiswa, jpembelajaran jhanya jmenggunakan jmetode jceramah jsehingga jterkesan jmasih jbersifat konvensional, jguru jmemfokuskan jpada jhasil jbelajar jtanpa jmemperhatikan jkemampuan jberpikir kreatif...

Menurut Ibnu Jinni seorang ahli bahasa Arab memberikan definisi adalah bunyi-bunyi yang diucapkan oleh setiap kelompok masyarakat untuk menyampaikan maksud mereka. Al-Qur'an merupakan alat komunikasi antara Allah dengan hambanya, sehingga ayat ada didalam al-Qur'an baik itu berbentuk perintah, larangan, kisah, ataupun bentuk lainnya berfungsi sebagai sebuah pelajaran, petunjuk, serta suri taula...

the present article is a comparative research between z?r ceremony in south of iran (hormozgan province) and east africa (sudan). this research has been accomplished, based on the descriptive/exploratory methods, using library techniques and domain studies. people in these regions believe that human illnesses are caused by jins or satanic winds which penetrate in human body causing physical and...

We describe the BinProlog system’s compilation technology, runtime system and its extensions supporting first-class Logic Engines while providing a short history of its development, details of some of its newer re-implementations as well as an overview of the most important architectural choices involved in their design. With focus on its differences with conventional WAM implementations, we ex...