Prolog is widely used in prototyping, especially in artificial intelligence, but it has yet to gain widespread acceptance in application development. We think that the problems in this area result from the programming style enforced in existing Prolog systems. Zephyr is a new Prolog system refined and enhanced to help solve such problems. It allows users to do modular programming by always usin...

Access management for learning communities requires a unified theory, sustaining the implementation of instructional policies, for ‘social networks’. The management method we have reached is based on the integration of content-rich resources in ‘operations’ that model/control the access of those seeking to learn something by using them, with or without assistance. Activities may be sequenced em...

Art and poetry go hand in to appeal the senses of creators art lovers. The objective this research was explore connection visual how these forms juxtaposed create meaning. A collection, Maritime Treasures Pakistan, featuring selected be analyzed using Visual Grammar framework (2006) light Derrida’s (1967/1997) theory deconstruction, respectively. analysis showed that can help us interpret image...

Some runtime checks can be safely removed from code if appropriate program properties are proved. We describe how we have applied this idea to the ACL2 theorem prover to speed up the application of user-defined proof procedures. In particular, we discuss how and why we have added a new feature to ACL2 that allows the user to verify certain well-formedness properties of the expressions produced ...

This article hopes to make a contribution to the growing body of work on the paradigmatic description of context of situation. Having considered the limited achievements of earlier work on context, I offer a fairly detailed account of what is entailed in producing a consistent and precise description of a linguistic category by using the principles and methods of the paradigmatic mode of descri...