A Local Algorithm for Incremental Evaluation of Tabled Logic Programs

2006 ◽  
pp. 56-71 ◽  
Author(s):  
Diptikalyan Saha ◽  
C. R. Ramakrishnan
Keyword(s):  
Local Algorithm ◽  
Logic Programs ◽  
Incremental Evaluation ◽  
Tabled Logic Programs

scholarly journals Concurrent Table Accesses in Parallel Tabled Logic Programs

2004 ◽  
pp. 662-670
Author(s):  
Ricardo Rocha ◽  
Fernando Silva ◽  
Vítor Santos Costa
Keyword(s):  
Logic Programs ◽  
Tabled Logic Programs

Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs

2005 ◽  
pp. 250-264 ◽  
Author(s):  
Ricardo Rocha ◽  
Fernando Silva ◽  
Vítor Santos Costa
Keyword(s):  
Mixed Strategy ◽  
Logic Programs ◽  
Strategy Evaluation ◽  
Tabled Logic Programs

Speculative Computations in Or-Parallel Tabled Logic Programs

2004 ◽  
pp. 254-268
Author(s):  
Ricardo Rocha ◽  
Fernando Silva ◽  
Vítor Santos Costa
Keyword(s):  
Logic Programs ◽  
Tabled Logic Programs
Sign in / Sign up

Export Citation Format

Share Document