YapTab: A Tabling Engine Designed to Support Parallelism
暂无分享,去创建一个
[1] Li-Yan Yuan,et al. Implementation of a Linear Tabling Mechanism , 2001, J. Funct. Log. Program..
[2] Ricardo Rocha,et al. Or-Parallelism within Tabling , 1999, PADL.
[3] Juliana Freire,et al. Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies , 1996, PLILP.
[4] K. A. Ross,et al. Tabled Evaluation with Delaying for General Logic Programs , 1996 .
[5] Rui Hu,et al. Exploiting Parallelism in Tabled Evaluations , 1995, PLILP.