← Back to branch summary

~burner/xsb/debianized-xsb

« back to all changes in this revision

Viewing changes to docs/homepage/xsb-projects.html

  • Committer: Michael R. Head
  • Date: 2006-09-06 22:11:55 UTC
  • Revision ID: burner@n23-20060906221155-7e398d23438a7ee4
Add the files from the 3.0.1 release package

Show diffs side-by-side

added added

removed removed

Lines of Context:
docs/homepage/xsb-projects.html
 
1
<html><head><title>XSB Group - Research Projects </title></head>
 
2
 
 
3
<p>
 
4
<img src = "work.gif"> This page is under construction.
 
5
</p>
 
6
 
 
7
<body>
 
8
<H1>XSB Group - Interests and Research Projects</H1>
 
9
<p>
 
10
<HR>
 
11
 
 
12
Primarily we are extending and improving the XSB system.
 
13
We are currently extending it to compute full SLG, i.e. to compute
 
14
the well-founded semantics of programs.  We are improving the tabling
 
15
primitives, and intend to support subsumption testing for determining
 
16
call and return redundancy.  We are also exploring different
 
17
scheduling strategies for XSB.  Also we are looking into a parallel
 
18
implementation of XSB, based on a new kind of parallelism we call
 
19
table parallelism.  Another area we are looking into is distributed
 
20
evalution of queries under SLG.  Something we want to explore is the
 
21
integration of constraints into XSB, using a ``glass-box'' approach.
 
22
We also are looking at global optimization of Datalog queries in XSB.
 
23
<p>
 
24
All these topics revolve around exploring the implications of tabling
 
25
in logic systems.  We are strongly oriented toward implementing our
 
26
theoretical ideas to determine their practicality.
 
27
 
 
28
<p> 
 
29
Here are some of our current projects:
 
30
<p>
 
31
<ul>
 
32
<li> 
 
33
Parallel XSB
 
34
<li>
 
35
Multithreaded XSB
 
36
<li> Scheduling Strategies for Tabled Evaluations
 
37
<li> Demand-based tabling evaluation
 
38
</ul>
 
39
<p>
 
40
<br>
 
41
</body>
 
42
</html>
 
43