Pruning the Search Space of Logic Programs
暂无分享,去创建一个
[1] Robert A. Kowalski,et al. Predicate Logic as Programming Language , 1974, IFIP Congress.
[2] Lee Naish,et al. Pruning in Logic Programming , 1995 .
[3] Lee Naish. Proving Properties of Committed Choice Logic Programs , 1989, J. Log. Program..
[4] Egon Börger,et al. Logic + control revisited: an abstract interpreter for GO¨DEL programs , 1995 .
[5] John W. Lloyd,et al. The Gödel programming language , 1994 .
[6] Corin A. Gurr,et al. Towards fast and declarative meta-programming , 1995 .
[7] Ehud Shapiro,et al. The family of concurrent logic programming languages , 1989, CSUR.
[8] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[9] Antonio Brogi,et al. Composing logic programs by meta-programming in Go¨del , 1995 .
[10] John W. Lloyd,et al. Properties of a Pruning Operator , 1990, Journal of Logic and Computation.
[11] Dana S. Scott,et al. Concurrent constraint programming languages , 1989 .