1: %\documentclass{llncs}
2: \documentclass[10pt]{article}
3: \title{Compositional Semantics \\
4: for the Procedural Interpretation of Logic
5: }
6:
7: \date{M.H. van Emden}
8: \author{Research Report DCS-307-IR\footnote{
9: Shortened version to appear in the Proceedings of the
10: 2006 International Conference on Logic Programming.}\\
11: Department of Computer Science\\
12: University of Victoria
13: }
14:
15: \begin{document}
16: \maketitle
17:
18: \abstract{
19: \input{abstract}
20: }
21: \input{defs}
22: \input{01.intro}
23: \input{02.math}
24: \input{03.procInt}
25: \input{04.compLog}
26: \input{05.tables}
27: \input{06.comp}
28: \input{07.imp}
29: \input{08.rel}
30: \input{09.conc}
31:
32: \section{Acknowledgements}
33: I am grateful to Belaid Moa and three anonymous reviewers
34: for their suggestions for improvement.
35: This research was supported by the University of Victoria and by
36: the Natural Science and Engineering Research Council of Canada.
37:
38: %\bibliographystyle{plain}
39: %\bibliography{article,book,collection,proceedings,techreport,thesis,unpublished}
40:
41: \begin{thebibliography}{10}
42:
43: \bibitem{aptHandbook}
44: K.R. Apt.
45: \newblock {\em Logic programming}.
46: \newblock In {\em Handbook of Theoretical Computer Science}, 1990.
47:
48: \bibitem{bl54}
49: George Boole.
50: \newblock {\em An Investigation of the Laws of Thought}.
51: \newblock Dover, 1854.
52: \newblock Dover edition not dated.
53:
54: \bibitem{brmnpdtr94}
55: Antonio Brogi, Paolo Mancarella, Dino Pedreschi, and Franco Turini.
56: \newblock Modular logic programming.
57: \newblock {\em ACM Transactions on Programming Languages and Systems},
58: 16:1361-- 1398, 1994.
59:
60: \bibitem{bry96}
61: Fran\c{c}ois Bry.
62: \newblock A compositional semantics for logic programs and deductive databases.
63: \newblock In {\em Proc. Joint Int. Conf. Symp. Logic Programming}, 1996.
64:
65: \bibitem{chkfwr93}
66: W.~Chen, M.~Kifer, and D.S. Warren.
67: \newblock {HILOG}: A foundation for higher-order logic programming.
68: \newblock {\em Journal of Logic Programming}, 15:187 -- 230, 1993.
69:
70: \bibitem{cddbgc93}
71: Michael Codish, Saumya~K. Debray, and Roberto Giacobazzi.
72: \newblock Compositional analysis of modular logic programs.
73: \newblock In {\em Proc. 20th {ACM} Symposium on Principles of Programming
74: Languages (POPL)}, 1993.
75:
76: \bibitem{clmr79}
77: A.~Colmerauer.
78: \newblock Sur les bases th\'{e}oriques de {P}rolog.
79: \newblock Technical report, Groupe d'Intelligence Artificielle, Universit\'{e}
80: d'Aix-Marseille II, 1979.
81:
82: \bibitem{ckp72}
83: A.~Colmerauer, H.~Kanoui, R.~Pas\'{e}ro, and P.~Roussel.
84: \newblock Un syst\`{e}me de communication homme-machine en fran\c{c}ais.
85: \newblock Technical report, Groupe d'Intelligence Artificielle, Universit\'{e}
86: d'Aix-Marseille II, 1972.
87:
88: \bibitem{hmt85}
89: Leon Henkin, J.~Donald Monk, and Alfred Tarski.
90: \newblock {\em Cylindric Algebras, Parts I, II}.
91: \newblock Studies in Logic and the Foundations of Mathematics. North-Holland,
92: 1985.
93:
94: \bibitem{vbr91}
95: H.~Ibrahim and M.H. van Emden.
96: \newblock Towards applicative relational programming.
97: \newblock Unpublished draft; available from the Computing Research Repository
98: ({\tt http://arxiv.org/corr/home}), 1991.
99:
100: \bibitem{brhm92}
101: Husain Ibrahim.
102: \newblock Applicative expressions for relational programming.
103: \newblock Master's thesis, University of Victoria, 1992.
104:
105: \bibitem{rns61}
106: Edgar~T. Irons.
107: \newblock A syntax-directed compiler for {A}lgol 60.
108: \newblock {\em Communications of the ACM}, 4:51--55, 1961.
109:
110: \bibitem{kwl74}
111: R.A. Kowalski.
112: \newblock Predicate logic as programming language.
113: \newblock In {\em Proc. IFIP 74}, pages 569--574, 1974.
114:
115: \bibitem{kwl79}
116: R.A. Kowalski.
117: \newblock {\em Logic for Problem-Solving}.
118: \newblock Elsevier North-Holland, 1979.
119:
120: \bibitem{lnd63}
121: P.~Landin.
122: \newblock The mechanical evaluation of expressions.
123: \newblock {\em Computer Journal}, 6:308--320, 1963.
124:
125: \bibitem{lld87}
126: J.W. Lloyd.
127: \newblock {\em Foundations of Logic Programming}.
128: \newblock Springer-Verlag, 2nd edition, 1987.
129:
130: \bibitem{mccb92}
131: Francis~G. McCabe.
132: \newblock {\em Logic and Objects}.
133: \newblock Prentice Hall, 1992.
134:
135: \bibitem{mllr89}
136: Dale Miller.
137: \newblock A logical analysis of modules in logic programming.
138: \newblock {\em Journal of Logic Programming}, 6:79 -- 108, 1989.
139:
140: \bibitem{sst71}
141: Dana Scott and Christopher Strachey.
142: \newblock Toward a mathematical semantics for computer languages.
143: \newblock In {\em Proceedings of the Symposium on Computers and Automata},
144: pages 19--46, Polytechnic Institute of Brooklyn, 1971.
145:
146: \bibitem{sto77}
147: Joseph~E. Stoy.
148: \newblock {\em Denotational Semantics: The Scott-Strachey approach to
149: Programming Language Theory}.
150: \newblock MIT Press, 1977.
151:
152: \bibitem{trsk52}
153: A.~Tarski.
154: \newblock A representation theorem for cylindric algebras.
155: \newblock {\em Bull. Amer. Math. Soc.}, 58:65 -- 66, 1952.
156:
157: \bibitem{vkw76}
158: M.H. van Emden and R.A. Kowalski.
159: \newblock The semantics of predicate logic as a programming language.
160: \newblock {\em Journal of the ACM}, 23(4):733--742, 1976.
161:
162: \end{thebibliography}
163:
164: \end{document}
165: