The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

X-ray properties of the Parkes sample of flat-spectrum radio sources: dust in radio-loud quasars?

We investigate the X-ray properties of the Parkes sample of Bat-spectrum radio sources using data from the ROSAT All-Sky Survey and archival pointed PSPC observations. In total, 163 of the 323 sources are detected. For the remaining 160 sources, 2 sigma upper limits to the X-ray flux are derived. We present power-law photon indices in the 0.1-2.4 keV energy band for 115 sources, which were determined either with a hardness ratio technique or from direct fits to pointed PSPC data if a sufficient number of photons were available. The average photon index is <Gamma > = 1.95(-0.12)(+0.13) for flat-spectrum radio-loud quasars, <Gamma > = 1.70(-0.24)(+0.23) for galaxies, and <Gamma > = 2.40(-0.31)(+0.12) for BL Lac objects. The soft X-ray photon index is correlated with redshift and with radio spectral index in the sense that sources at high redshift and/or with flat (or inverted) radio spectra have flatter X-ray spectra on average. The results are in accord with orientation-dependent unification schemes for radio-loud active galactic nuclei. Webster et al. discovered many sources with unusually red optical continua among the quasars of this sample, and interpreted this result in terms of extinction by dust. Although the X-ray spectra in general do not show excess absorption, we find that low-redshift optically red quasars have significantly lower soft X-ray luminosities on average than objects with blue optical continua. The difference disappears for higher redshifts, as is expected for intrinsic absorption by cold gas associated with the dust. In addition, the scatter in log(f(x)/f(o)) is consistent with the observed optical extinction, contrary to previous claims based on optically or X-ray selected samples. Although alternative explanations for the red optical continua cannot be excluded with the present X-ray data, we note that the observed X-ray properties are consistent with the idea that dust plays an important role in some of the radio-loud quasars with red optical continua.

Identity and security in Korea

The summit meeting between the two Korean heads of state, which took place in Pyongyang in June 2000, constitutes a major turning point in the peninsula's history. As the effects of the meeting are gradually unfolding, a period of detente no longer seems impossible. But major difficulties remain unsolved and Korea will continue to be one of the world's most volatile areas. The task of this essay is to identify and analyse some of the entrenched political patterns that will challenge policy-makers in the years ahead. To do so it is necessary to portray the conflict in Korea not only in conventional ideological and geopolitical terms, but also, and primarily, as a question of identity. From such a vantage-point two components are essential in the search for a more peaceful peninsula. Substantial progress has recently been made in the first realm, the need to approach security problems, no matter how volatile they seem. in a cooperative and dialogical, rather than merely a coercive manner. The second less accepted but perhaps more important factor, revolves around the necessity to recognize that dialogue has its limits, that the party on the other side of the DMZ cannot always be accommodated or subsumed into compromise. Needed is an ethics of difference: a willingness to accept that the other's sense of identity and politics may be inherently incompatible with one's own.

A call to arms at the end of history: a discourse-historical analysis of George W. Bush's declaration of war on terror

In this article we take a discourse-historical approach to illustrate the significance of George W Bush's (2001) declaration of a 'war on terror'. We present four exemplary 'call to arms' speeches by Pope Urban 11 (1095), Queen Elizabeth I (1588), Adolf Hitler (1938) and George W Bush (2001) to exemplify the structure, function, and historical significance of such texts in western societies over the last millennium. We identify four generic features that have endured in such texts throughout this period: (i) an appeal to a legitimate power source that is external to the orator, and which is presented as inherently good; (ii) an appeal to the historical importance of the culture in which the discourse is situated; (iii) the construction of a thoroughly evil Other; and (iv) an appeal for unification behind the legitimating external power source. We argue further that such texts typically appear in historical contexts characterized by deep crises in political legitimacy.

Identity, difference, and the dilemmas of inter-Korean relations: Insights from northern defectors and the German precedent

Questions of identity have become increasingly central to the study of foreign policy and security, particularly in constructivist debates. But very few of the resulting insights have been applied to the Korean situation, where discussions about security and inter-Korean relations remain dominated by strategic and geopolitical issues. The main task of this article is to address this shortcoming by examining the experience of North Korean defectors in South Korea and the precedent of German unification. Both of these domains of inquiry reveal that identity differences between North and South persist far beyond the ideological and political structures that created them in the first place. Born out of death, fear, and longing for revenge, these identity patterns lie at the heart of Korea's security dilemmas. Unless taken seriously by scholars and decision makers, the respective tensions between identity and difference will continue to cause major political problems. (Key words: Inter-Korean relations, North Korean defectors, German unification)