User Defined Indexing
暂无分享,去创建一个
[1] Konstantinos Sagonas,et al. Demand-Driven Indexing of Prolog Clauses , 2007, ICLP.
[2] Bart Demoen,et al. Dynamic attributes, their hProlog implementation, and a first evaluation , 2002 .
[3] Manuel V. Hermenegildo,et al. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems , 1995, APPIA-GULP-PRODE.
[4] Peter J. Stuckey,et al. Optimization of Logic Programs with Dynamic Scheduling , 1997, ICLP.
[5] Antonin Guttman,et al. R-trees: a dynamic index structure for spatial searching , 1984, SIGMOD '84.
[6] Douglas Comer,et al. Ubiquitous B-Tree , 1979, CSUR.
[7] Peter Z. Revesz,et al. Introduction to Constraint Databases , 2002, Texts in Computer Science.
[8] Lee Naish. Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997 , 1997, ICLP.
[9] Michael Kifer,et al. HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..
[10] Ricardo Lopes,et al. Spatial-Yap: A Logic-Based Geographic Information System , 2007, ICLP.
[11] Bart Demoen,et al. Indexing Prolog Clauses , 1989, NACLP.
[12] Krzysztof R. Apt,et al. Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.