In this paper, we present a basic set of methods to guide a proof in the Whelk logic program synthesis system. Starting from the methods used in the Oyster/CL A M system, designed for a functional context, we developed some proof \critics" to solve the cases in which those methods are blocked in a relational context. The application of those methods and proof critics is illustrated by an exampl...

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ ? @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ ? @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ ? @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ ? @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ ? @@@@@@@@@@@@@@@@@@@@@@...

shores. Aquaculture—the farming of fish, shellfish, or aquatic plants—has grown rapidly over the past several decades, and that growth is accelerating. Today, some 4,000 aquaculture enterprises in the United States, most of them small to mid-size, supply Americans with Atlantic salmon, hard clams, oysters, shrimp, and nearly all the catfish and trout we eat. As the industry matures, it holds bo...

A simple, well-written and extremely wellProduced exposition of some of the basic facts ln the modern handling of the mentally unfit by the daughter of the late Professor Adler, which calls for more notice than it is usual to accord to the plethora of such short popular expositions. Miss Adler emphasizes once more her father's ^dividual approach, and the necessity of treating each case as a com...

Algebraic or equational speci cations are popular due to their simplicity. We advocate that such an approach could be of use for guiding user interfaces. If a user interface design process is to be accessible to a diverse user population that include novice computer users, it has to break out of the two stage user interface design| the rst stage, where a user interface builder is used to develo...

Self-collimation in photonic crystals (PhCs) has been demonstrated providing a very promising light-guiding mechanism. The fact that self-collimation allows light-guiding without any physical boundary is beneficial in high-density photonic integrated circuits (PICs) in terms of efficient coupling and arbitrary beam routing with no crosstalk. In this paper, we demonstrate a tunable photonic crys...