The test generator CDLBase for XRay is based on the Stanford GraphBase (SGB). CDLBase is written in eclipse-prolog and provides a prolog interface to SGB-functions and translations of graph problems into default theories, such that a given graph problem problem as a solution iff there is a default proof in constraind default logic for some query (see ()). For a description of the theoretical background of translating graphs into classical default theories see Cholewinski et al. (1995). Currently CDLBase provides only a subset of all SGB-functions and tranlations for the problem of finding a Hamiltonian cycle and coloring a graph with n different colors.
A full documentation of the SGB is also available.
Currently the following prolog procedures are defined in the prolog part of the SGB-interface.
For each of the above prolog procedures the frist three
arguments are added to the arguments of the corresponding
functions of the SGB.
For example, the prolog procedure
simplex(-Graph_Name,-Graph,+WriteFile,+N,+N0,+N1,+N2,+N3.+N4,+Directed)
corresponds to SGB-function
simplex(n,n1,n2,n3,n4,directed).
If the boolean input +WriteFile is 1 the ASCII representation
of the generated graph is written to a file
(see.).
-Graph_Name returns the name of the graph and
-Graph returns the graph in s-representation.
All generated default theories are written in files named with the corresponding SGB graph names.
The following example knowledge bases are included.