While Prolog has proven useful for writing programs in a variety of domains, it suffers from its lack of support for modularity, particularly for building libraries of routines and data. This paper points out some problems with standard Prolog that make libraries inconvenient. It then describes a solution to those problems based on the concepts of modules and database views.

The Old Testament appears to describe the successful application of mouth-to-mouth resuscitation of a child, some 2,900 years ago (II Kings 4:34). According to O’Donnell and colleagues,1 the Babylonian Talmud describes a similar event 2,300 years ago: “One may give a woman (about to give birth) all assistance possible.... One may violate the Sabbath on her account.” What is meant by “being of a...

versified historiography as a style of historiographycame into being in 6th/12th century iran through imitating ferdowsi’sshāhnāma and reached its height in mongol era. consequently, in less than a century, more than ten versified histories were composed including one of the most famous one, ẓafar-nāma ofḥamd-allāhmostawfi. but it was zojājitabrizi who composed the first versified history, homā...

It has been nearly 200 years since the Daodejing and Daoist thought was first introduced to Russia in half of 19th century. Although study philosophy Laozi started relatively late, most translated classic Chinese culture Russia. The early dissemination deeply influenced by government religion, there were some controversial neglected materials that difficult verify due lack documents manuscripts...

Economists often point to Pigouvian taxes and cap & trade programs as the preferred policy tools for reducing greenhouse gases. In contrast, policymakers have relied on measures that either explicitly or implicitly subsidize low carbon fuels. We simulate a transportation-sector cap & trade program (CAT) and three policies currently in use: ethanol subsidies, a renewable fuel standard (RFS), and...

The UNL, either as language or as a system, is not well known due to several reasons. At this moment, UNL is not only the name of a language for computers aiming at supporting multililingual services in Internet. It is also a system, with a defined architecture and a wide panorama of applications and possibilities to support business, institutional and educational applications, all of them goin...