Prolog as a language for prototyping of information systems
暂无分享,去创建一个
[1] Alan R. Feuer. Building Libraries in Prolog , 1983, IJCAI.
[2] Michael L. Brodie. On conceptual modelling - perspectives from artificial intelligence, databases and programming languages , 1984, Topics in information systems.
[3] Alan Mycroft,et al. A Polymorphic Type System for Prolog , 1984, Logic Programming Workshop.
[4] Raymond Reiter,et al. Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.
[5] Maurice Bruynooghe. Adding Redundancy to Obtain more Reliable and Readable Prolog Programs , 1982, ICLP.
[6] Ehud Shapiro,et al. Algorithmic Program Debugging , 1983 .
[7] Maurice Bruynooghe. A Note on Garbage-Collection in Prolog Interpreters , 1982, ICLP.
[8] Robin Milner,et al. A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..
[9] Henryk Jan Komorowski,et al. A specification of an abstract Prolog machine and its application to partial evaluation , 1981 .