Declarative Logic Programming with Primitive Recursive Relations on Lists
暂无分享,去创建一个
[1] Wlodzimierz Drabent. Do Logic Programs Resemble Programs in Conventional Languages? , 1987, SLP.
[2] Leon S. Sterling. Representing Logic Program Schemata in λProlog , 1995 .
[3] Jørgen Fischer Nilsson,et al. Constructing Logic Programs with Higher-Order Predicates , 1995, GULP-PRODE.
[4] Chris Reade,et al. Elements of functional programming , 1989, International computer science series.
[5] Richard S. Bird,et al. Introduction to functional programming , 1988, Prentice Hall International series in computer science.
[6] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[7] Jan Maluszynski,et al. Two Aspects of Directional Types , 1995, ICLP.
[8] Andrei Voronkov,et al. Logic Programming with Bounded Quantifiers , 1990, RCLP.
[9] Yves Deville,et al. Logic Program Synthesis from Incomplete Specifications , 1993, J. Symb. Comput..
[10] Sandro Etalle,et al. On the Unification Free Prolog Programs , 1993, MFCS.