F. Bry. Logic programming as constructivism: a formalisation and its application to databases. In Proc. of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Philadelphia, Pa, U.S.A., 1989. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (217 citations) (Correct)
....suitable for modular logic programming. It would be particularly interesting to compare our approach with recent developments of this line of research towards objectoriented programming [13] Finally, we would like to compare it in general with other constructive approaches to logic programming [3, 19]. Acknowledgement We are grateful to Alexander Herold, Francois Bry, Andy Dwelly and the ICLP referees for helpful comments on this paper. Thanks are due to Gerard Comyn and Alexander Herold for their encouragement and support. ....
F. Bry. Logic programming as constructivism: a formalisation and its application to databases. In Proc. of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Philadelphia, Pa, U.S.A., 1989.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC