Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Advanced Functional Programming
This volume contains the revised lecture notes corresponding to nine of the lecture courses presented at the 5th International School on Advanced Functional Programming, AFP 2004, held in Tartu, Estonia, August 14 –21, 2004.
Computational Logic — CL 2000
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 c...
Normalization and Partial Evaluation of Functional Logic Programs
The functional logic programming paradigm combines the two most important fields of declarative programming, namely functional and logic programming, in an integrated way to allow the concise notation of high-level programs. However, the variety of concepts and conciseness of programs may also impact their efficiency. In this work we employ the powerful optimization technique of partial evaluation to develop a fully automatic program optimizer, the so-called partial evaluator. In particular, we formalize the normalization of programs during compilation, establish a formal notation of the evaluation process, develop a formal partial evaluation scheme and prove its correctness and termination, and implement a working partial evaluator which shows impressive results.
The Christian Mythology
The Christian Mythology is a study on the Christian folklore and how much the heathen rituals influenced the development of a certain version of Christianity in different parts of the world. The goal of the work was to show that the modern religion doesn't offer much new or different from what has been believed in the many epochs of the past. Religious feelings of primitive man were driven by fear and superstition and the various forms of worship predominated in different geographical situations. Christianity, like all primitive or modern religions leans on the ancient myths and legends, taking a somewhat different version in various geographical locations, but with the same form as every religious system.
The Future of Christian Marriage
Marriage has come a long way since biblical times. Women are no longer property, and practices like polygamy have long been rejected. The world is wealthier, healthier, and more able to find and form relationships than ever. So why are Christian congregations doing more burying than marrying today? Explanations for the recession in marriage range from the mathematical--more women in church than men--to the economic, and from the availability of sex to progressive politics. But perhaps marriage hasn't really changed at all. Instead, there is simply less interest in marriage in an era marked by technology, gender equality, and secularization. Mark Regnerus explores how today's Christians find ...
Applications of Declarative Programming and Knowledge Management
This book constitutes the thoroughly refereed joint post-proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, held jointly in Potsdam, Germany in March 2004. The 18 revised full papers presented together with an invited tutorial lecture and an invited paper were selected during two rounds of reviewing and improvement. The papers are organized in topical sections on knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.
