On the Semantics of Temporal Logic Programming (Preliminary Repart)

An amorphous magnetic alloy of Co-Nb-Zr system contains Co, Nb and Zr and has a composition which falls, in terms of atomic percent, within the region defined by straight lines connecting, in a ternary composition diagram assuming the total of contents of these three elements to be 100, a point (81% Co, 14% Nb, 5 Zr), a point (88% Co, 9% Nb, 3% Zr), a point (86.5% Co, 12.5% Nb, 1% Zr) and a point (81% Co, 18% Nb, 1% Zr). Disclosed also is a magnetic head having a core at least a part of which is constituted by this amorphous magnetic alloy. This magnetic head, when used in combination with a metal powder tape having a high coercive force, provides a remarkably increased recording-reproducing output.

[1]  Michael J. Maher,et al.  Unification Revisited , 1988, Foundations of Deductive Databases and Logic Programming..

[2]  J. W. de Bakker,et al.  Mathematical theory of program correctness , 1980, Prentice-Hall international series in computer science.

[3]  David A. Schmidt.  Denotational Semantics: A Methodology for Language Development by Phil , 1987 .

[4]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[5]  Neil D. Jones,et al.  Stepwise Development of Operational and Denotational Semantics for Prolog , 1984, International Conference on Spoken Language Processing.

[6]  Masahiro Fujita,et al.  Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog , 1986, ICLP.

[7]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[8]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[9]  Marianne Baudinet,et al.  Proving termination properties of Prolog programs: a semantic approach , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[10]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[11]  Saumya K. Debray,et al.  Denotational and Operational Semantics for Prolog , 1988, J. Log. Program..

[12]  Martín Abadi,et al.  Temporal Logic Programming , 1989, J. Symb. Comput..

[13]  Zohar Manna,et al.  Deductive Synthesis of the Unification Algorithm , 1981, Sci. Comput. Program..

[14]  Ben C. Moszkowski,et al.  Executing temporal logic programs , 1986, Seminar on Concurrency.

[15]  Krzysztof R. Apt,et al.  Introduction to Logic Programming , 1988 .

[16]  Martín Abadi,et al.  Temporal-logic theorem proving , 1987 .

[17]  Dov M. Gabbay,et al.  Modal and temporal logic programming , 1987 .

[18]  Keith L. Clark.  Predicate logic as a computational formalism , 1979 .

[19]  Elmar Eder.  Properties of Substitutions and Unifications , 1983, GWAI.

[20]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.