

<!DOCTYPE html>
<!-- Server: sfs-forge-2 -->


    

















<html lang="en" class="no-js">
<head>
    <meta content="text/html; charset=UTF-8" http-equiv="content-type"/>
    <title>
  XSB / Src  (SVN)-old /
  [r1842]
  /trunk/XSB/docs/userman/manual1.tex
</title>
    

<meta name="viewport" content="width=1100">


<link rel="icon" sizes="180x180" href="https://a.fsdn.com/con/img/sandiego/logo-180x180.png" type="image/png">
<link rel="icon" sizes="any" href="https://a.fsdn.com/con/img/sandiego/svg/originals/sf-icon-orange-no_sf.svg" type="image/svg+xml">
<link rel="apple-touch-icon" sizes="180x180" href="https://a.fsdn.com/con/img/sandiego/logo-180x180.png">
<link rel="mask-icon" href="https://a.fsdn.com/con/img/sandiego/svg/originals/sf-icon-orange-no_sf.svg" color="#FF6600">


<script src="https://a.fsdn.com/allura/nf/1752257864/_ew_/theme/sftheme/js/sftheme/cmp2.js"></script>






    
    
    
    
    
    
    
    
    <link rel="stylesheet" href="https://a.fsdn.com/con/css/lato.css?">


<script>
if (!window.SF) { window.SF = {}; }
SF.sandiego = false;
SF.sandiego_chrome = true;
SF.cdn = "https://a.fsdn.com/con";
SF.fpid = 'c8021ca8-cc19-48b7-b68f-187e45f35253';
SF.billboard_route = '/software/product/$slug/';
</script>
    
        <!-- ew:head_css -->

    
        <link rel="stylesheet"
                type="text/css"
                href="https://a.fsdn.com/allura/nf/1752257864/_ew_/_slim/css?href=allura%2Fcss%2Fforge%2Fhilite.css%3Ballura%2Fcss%2Fforge%2Ftooltipster.css"
                >
    
        <link rel="stylesheet"
                type="text/css"
                href="https://a.fsdn.com/allura/nf/1752257864/_ew_/allura/css/font-awesome.min.css"
                >
    
        <link rel="stylesheet"
                type="text/css"
                href="https://a.fsdn.com/allura/nf/1752257864/_ew_/theme/sftheme/css/forge.css"
                >
    
        
<!-- /ew:head_css -->

    
    
        <!-- ew:head_js -->

    
        <script type="text/javascript" src="https://a.fsdn.com/allura/nf/1752257864/_ew_/_slim/js?href=allura%2Fjs%2Fjquery-3.6.0.min.js%3Ballura%2Fjs%2Fjquery.cookie-1.4.1.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fshared_head.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Ftypescript%2Fcompliance.js"></script>
    
        
<!-- /ew:head_js -->

    

    
        <style type="text/css">
            /* make URL &amp; Project custom fields in support tickets not get hidden as much */
.project-forge.mountpoint-site-support .view_holder .grid-4:nth-child(5),
.project-forge.mountpoint-site-support .view_holder .grid-4:nth-child(6) {
  overflow: visible;
  font-size: 22px;
  width: 340px;
  line-height: 1;
  margin-bottom: 5px;
}
.project-forge.mountpoint-site-support .view_holder .grid-4:nth-child(5) label, .project-forge.mountpoint-site-support .view_holder .grid-4:nth-child(6) label {
  font-size: 14px;
}
        </style>
    
    
    <link rel="alternate" type="application/rss+xml" title="RSS" href="/p/xsb/src/feed.rss"/>
    <link rel="alternate" type="application/atom+xml" title="Atom" href="/p/xsb/src/feed.atom"/>
    <style type="text/css">
        #access_urls .btn-set {
            
            min-width: 14em;
        }
    </style>

    <style>.XKGPDvsOxwfDmcOwpHDoUwwjwobDqcKPWcONLcOp {
        display: none
    }</style>

    
    
    
        <link rel="canonical" href="https://sourceforge.net/p/xsb/src/1842/tree/trunk/XSB/docs/userman/manual1.tex" />
    


    

<script>
    var data = {hem: null };
    bizx.uids.gatherAndClean(data);
</script>



<script>
    function initPiwik(){
      var _paq = window._paq = window._paq || [];
      _paq.push(['trackPageView', document.title, {
            dimension1: 'xsb',
            dimension2: 'svn'
      }]);
      _paq.push(['enableLinkTracking']);
      
          _paq.push(['enableHeartBeatTimer']);
      
      (function() {
        var u="//analytics.slashdotmedia.com/";
        _paq.push(['setTrackerUrl', u+'sf.php']);
        _paq.push(['setSiteId', 39]);
        
        var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0];
        g.type='text/javascript'; g.async=true; g.defer=true; g.src=u+'sf.js'; s.parentNode.insertBefore(g,s);
      })();
    }
    bizx.cmp.ifConsent({ purposes: ['storage', 'measurement'], vendors: 'sdm'}, initPiwik);
</script>






<!-- Hubspot tracking -->






 <script>
    $(function() {
        bizx.cmp.ifConsent({ purposes: 'all' , vendors: 'narrative'}, function() {
            var current_time = (new Date()).getTime();
            let imageUrl = "https://io.narrative.io/?companyId=2440&id=first_party%3Ac8021ca8-cc19-48b7-b68f-187e45f35253&id=site_name%3Asourceforge.net&id=url%3A%2Fp%2Fxsb%2Fsrc%2F1842%2Ftree%2Ftrunk%2FXSB%2Fdocs%2Fuserman%2Fmanual1.tex&id=pagetitle%3A%24PAGE_TITLE&id=vertical%3AOpen+Source+Software&id=product%3AXSB";
            imageUrl = imageUrl.replace(encodeURIComponent("$PAGE_TITLE"), document.title);  

            imageUrl = URL.parse(imageUrl);
            let hem = bizx.uids.getHem();
            if (hem) {
                imageUrl.searchParams.append('id', 'hem:' + hem);
            }
            imageUrl.searchParams.append('rand', current_time);

            var image = new Image();
            image.src = imageUrl.toString();
            image.style.display = "none";
            image.style.height = 0;
            image.style.width = 0;
            document.body.appendChild(image);
        });
    });
</script>



</head>

<body class="
body_class sandiego_chrome  legacy_chrome  l-allow-natural-width 
" id="forge">

    
        <!-- ew:body_top_js -->

    
        
<!-- /ew:body_top_js -->

    





<div class="off-canvas position-right" id="offCanvas" data-off-canvas>
    <!-- Menu -->
    <ul class="header-nav-menulist">
        <li class="highlight search">
            
            
                
            
            
    <form method="get" action="/directory/" class="m-search-form">
    
        <input type="text" placeholder="Search for software or solutions" autocomplete="off" name="q" >
        
        <label >
            <input type="submit" class="bt" value="">
            


<svg  data-name="search" viewBox="0 0 1792 1792" xmlns="http://www.w3.org/2000/svg"><path d="M1216 832q0-185-131.5-316.5t-316.5-131.5-316.5 131.5-131.5 316.5 131.5 316.5 316.5 131.5 316.5-131.5 131.5-316.5zm512 832q0 52-38 90t-90 38q-54 0-90-38l-343-342q-179 124-399 124-143 0-273.5-55.5t-225-150-150-225-55.5-273.5 55.5-273.5 150-225 225-150 273.5-55.5 273.5 55.5 225 150 150 225 55.5 273.5q0 220-124 399l343 343q37 37 37 90z"/></svg>
        </label>
    </form>
        </li>
        
        <li class="highlight"><a href="/auth/">Join/Login</a></li>
        
        <li><a href="/software/">Business Software</a></li>
        <li><a href="/directory/">Open Source Software</a></li>
        <li><a  href="/software/vendors/" title="For Vendors">For Vendors</a></li>
        <li><a href="/blog/" title="Blog">Blog</a></li>
        <li><a href="/about">About</a></li>
        <li><a id="header-nav-more" data-toggle="header-nav-more header-nav-more-content" data-toggler=".toggled">More</a></li>
        <li>
            <ul id="header-nav-more-content" class="toggled" data-toggler=".toggled">
                
    

    
    
        <li><a href="/articles/">Articles</a></li>
    
    

    
 
                
                <li><a href="/create">Create</a></li>
                
                <li><a href="https://sourceforge.net/articles/category/sourceforge-podcast/">SourceForge Podcast</a></li>
                
                    <li><a href="https://sourceforge.net/p/forge/documentation/Docs%20Home/">Site Documentation</a></li>
                
                <li><a href="/user/newsletters">Subscribe to our Newsletter</a></li>
                <li><a href="/support">Support Request</a></li>
            </ul>
        </li>
    </ul>
</div>
<div class="off-canvas-content" data-off-canvas-content>

    




<script>
    SF.linkout_icon = '<svg  data-name="sf-linkout-icon" xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" viewBox="0 0 300 300" style="enable-background:new 0 0 300 300;" xml:space="preserve"><polygon class="st0" points="243.2,243.2 56.8,243.2 56.8,56.8 123,56.8 123,9 9,9 9,291 291,291 291,179.4 243.2,179 "/><polygon class="st0" points="128.5,213 155,186.5 176,165.5 206.7,196.3 235.5,132.5 248.9,102.6 290.6,9.8 291,9 290.6,9.2 197.4,51.1 169.1,63.8 103.7,93.3 137,126.5 115.9,147.5 89.5,174 "/></svg>';
</script>


<div class="l-header-nav  sandiego">

    <section class="sandiego l-header-nav-top show-for-large">
        <div class="row">
            <a href="/" title="Home" class="sf-logo">
                
    
    <img src="https://a.fsdn.com/con/images/sandiego/sf-logo-full.svg"  alt="SourceForge logo" class="sf-logo-full"/>
            </a>
            <nav class="links">
                
                    <a href="/user/newsletters" title="Subscribe to our newsletter"><span class="newsletter-icon">


<svg  data-name="mmSF_11mail" xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" viewBox="0 0 42 42" enable-background="new 0 0 42 42" xml:space="preserve"><path fill="#FFFFFF" d="M0,6v30h42V6H0z M24.2,21.2c-0.8,0.8-2.3,2-3.2,2c-0.9,0-2.4-1.2-3.2-2L5.8,9.7h30.3L24.2,21.2z M13.7,21l-9.9,9.4V11.6L13.7,21z M15.7,23L15.7,23c0.5,0.5,2.9,2.9,5.3,2.9c2.4,0,4.8-2.4,5.2-2.8l0.1-0.1l9.8,9.4H5.8L15.7,23z M28.3,21l9.9-9.5v18.9L28.3,21z"/></svg></span></a>
                
                <a href="/software/vendors/" title="For Vendors">For Vendors</a>
                
                
                    <a href="/support" title="Help">Help</a>
                    <a href="/create/" title="Create">Create</a>
                

                
                <a href="/user/registration" title="Join" >Join</a>
                <a href="/auth/" title="Login">Login</a>
                
            </nav>
        </div>
    </section>

    <section class="sandiego l-header-nav-top hide-for-large">
        <div class="row">
            <a href="/" title="Home" class="sf-logo">
                
    
    <img src="https://a.fsdn.com/con/images/sandiego/sf-logo-full.svg"  alt="SourceForge logo" class="sf-logo-full"/>
            </a>
            <div class="title-bar-right">
                <button type="button" aria-label="Toggle Main Menu" class="menu-icon" data-toggle="offCanvas"></button>
            </div>
        </div>
    </section>
    <section class="sandiego l-header-nav-bottom">
        <nav class="row">
            <a href="/" title="Home" class="sf-logo">
                
    
    <img src="https://a.fsdn.com/con/images/sandiego/sf-logo-full.svg"  alt="SourceForge logo" class="sf-logo-full"/>
            </a>
            <div class="links">
                
    
        <div class="nav-dropdown">
            <a href="/software/">Business Software</a>
            
        </div>
        <div class="nav-dropdown">
            <a href="/directory/" title="Browse">Open Source Software</a>
            
        </div>
        <div class="nav-dropdown">
            <a href="https://sourceforge.net/articles/category/sourceforge-podcast/">SourceForge Podcast</a>
        </div>
        <div class="nav-dropdown">
            <a>Resources</a>
            <ul class="nav-dropdown-menu">
                  <li><a href="/articles/">Articles</a></li>
                  
                  <li><a href="/software/case-studies/">Case Studies</a></li>
                  
                  <li><a href="/blog/">Blog</a></li>
            </ul>
        </div>
    

                <div class="dev-menu-when-stuck">
                    Menu
                    <ul class="dev-menu-dropdown header-nav-menulist">
                        <li><a href="/support">Help</a></li>
                        <li><a href="/create">Create</a></li>
                        <li><a href="/user/registration/" title="Join" >Join</a></li>
                        <li><a href="/auth/" title="Login">Login</a></li>
                    </ul>
                </div>
                <div class="search-toggle-when-stuck">
                    <a class="search-toggle">
                        


<svg  data-name="search" viewBox="0 0 1792 1792" xmlns="http://www.w3.org/2000/svg"><path d="M1216 832q0-185-131.5-316.5t-316.5-131.5-316.5 131.5-131.5 316.5 131.5 316.5 316.5 131.5 316.5-131.5 131.5-316.5zm512 832q0 52-38 90t-90 38q-54 0-90-38l-343-342q-179 124-399 124-143 0-273.5-55.5t-225-150-150-225-55.5-273.5 55.5-273.5 150-225 225-150 273.5-55.5 273.5 55.5 225 150 150 225 55.5 273.5q0 220-124 399l343 343q37 37 37 90z"/></svg>
                    </a>
                </div>
            </div>

            <div class="search">
                
                
    
    
        <div class="main-nav-link">
            
            
            <a href="https://www.avast.com/lp-free-av?full_trSrc=mmm_srf_dlp_008_406_a&amp;utm_medium=referral&amp;utm_source=sourceforge&amp;utm_campaign=srf_dlp_008_406_a:site_banner" rel="nofollow" target="_blank" id="main-nav-badge-link" data-label="avastjuly">
                <img src="https://a.fsdn.com/con/assets/maxnav/sourceforge/ai-protection-32-75dd98b2.png"  srcset="https://a.fsdn.com/con/assets/maxnav/sourceforge/ai-protection-75de80f6.png 2x"  alt="" id="main-nav-image"/>
            </a>
        </div>
    


                
                    
                
                
                
                
    <form method="get" action="/directory/" class="m-search-form">
    
    <div class="typeahead__container">
      <div class="typeahead__field">
        <div class="typeahead__query">
        
        <input type="text" placeholder="Search for software or solutions" autocomplete="off" name="q" >
        
        </div>
        
        <label >
            <input type="submit" class="bt" value="">
            


<svg  data-name="search" viewBox="0 0 1792 1792" xmlns="http://www.w3.org/2000/svg"><path d="M1216 832q0-185-131.5-316.5t-316.5-131.5-316.5 131.5-131.5 316.5 131.5 316.5 316.5 131.5 316.5-131.5 131.5-316.5zm512 832q0 52-38 90t-90 38q-54 0-90-38l-343-342q-179 124-399 124-143 0-273.5-55.5t-225-150-150-225-55.5-273.5 55.5-273.5 150-225 225-150 273.5-55.5 273.5 55.5 225 150 150 225 55.5 273.5q0 220-124 399l343 343q37 37 37 90z"/></svg>
        </label>
      </div>
    </div>
    
    </form>
                
            </div>
        </nav>
        
    </section>
    
</div>
    
    
    <div class="notification-on-project-page">
    
        
    
    
    
    </div>
    
    


    <section id="page-body" class=" neighborhood-Projects project-xsb mountpoint-src 

">
        <div id="nav_menu_holder">
            
                
                    
    <div class="sandiego"> 
            
            
            
            
<section class="project-masthead"> 
    
    

    
<div class="backdrop" style="box-sizing: content-box; padding-bottom: 24px"></div>

    <div class="content">
    
        
    <nav id="breadcrumbs" class="breadcrumbs rtl">
        <ul itemscope itemtype="http://schema.org/BreadcrumbList">
            <li itemprop="itemListElement" itemscope itemtype="http://schema.org/ListItem">
                <a itemprop="item" href="/"><span itemprop="name">Home</span></a>
                <meta itemprop="position" content="1"/>
            </li>
            <li itemprop="itemListElement" itemscope itemtype="http://schema.org/ListItem">
                <a itemprop="item" href="/directory/"><span itemprop="name">Browse</span></a>
                <meta itemprop="position" content="2"/>
            </li>
            
            
                
                
            
            
                
            
            
                <li itemprop="itemListElement" itemscope itemtype="http://schema.org/ListItem">
                    <a itemprop="item" href="/p/xsb/"><span itemprop="name">XSB</span></a>
                <meta itemprop="position" content="3"/>
                </li>
            
                <li itemprop="itemListElement" itemscope itemtype="http://schema.org/ListItem">
                    <span itemprop="name">Src  (SVN)-old</span>
                <meta itemprop="position" content="4"/>
                </li>
            
        </ul>
    </nav>
    
    
    
        
                
                
<div class="overview">
    


<div class="project-icon   " >
    
    
    <img itemprop="image" alt="XSB" title="XSB" 
    
    
    src="https://a.fsdn.com/allura/p/xsb/icon?1368563712"
    /></div>


    
    <div class="title "> 

        <meta itemprop="name" content="XSB"/>
        <h1  >XSB Src  (SVN)-old
        </h1>
        
            
            
          
        
            
            
            <div class="as-h3 brought-by">
                
                Brought to you by:
                
                    <a href="/u/carlandersen/profile/">carlandersen</a>,
                    
                
                    <a href="/u/dwarren/profile/">dwarren</a>,
                    
                
                    <a href="/u/evansbj/profile/">evansbj</a>,
                    
                
                    <a href="/u/kifer/profile/">kifer</a>,
                    
                
                    
                        and <a href="/p/xsb/_members/">3 others</a>
                    
                
            </div>
            
        

        

        
    </div>


    

</div>

                
                
    
  
            
            
        
    </div>
</section>

        </div>
    

                
            
        </div>
        <div id="top_nav" class="">
            
                
<div id="top_nav_admin">
<ul class="dropdown">
  
  
    <li class="">
        <a href="/projects/xsb/" class="tool-summary-32" >
            Summary
        </a>
        
        
    </li>
  
    <li class="">
        <a href="/projects/xsb/files/" class="tool-files-sf-32" >
            Files
        </a>
        
        
    </li>
  
    <li class="">
        <a href="/projects/xsb/reviews/" class="tool-reviews-32" >
            Reviews
        </a>
        
        
    </li>
  
    <li class="">
        <a href="/projects/xsb/support" class="tool-support-32" >
            Support
        </a>
        
        
    </li>
  
    <li class="">
        <a href="/p/xsb/mailman/" class="tool-mailman-32" >
            Mail Lists
        </a>
        
        
    </li>
  
    <li class="">
        <a href="/p/xsb/_list/tickets" class="tool-tickets-32" >
            Tickets ▾
        </a>
        
        
            <ul>
                
                    <li class=""><a href="/p/xsb/bugs/" >Bugs</a></li>
                
                    <li class=""><a href="/p/xsb/feature-requests/" >Feature Requests</a></li>
                
                    <li class=""><a href="/p/xsb/support-requests/" >Support Requests</a></li>
                
                    <li class=""><a href="/p/xsb/patches/" >Patches</a></li>
                
            </ul>
        
    </li>
  
    <li class="">
        <a href="/p/xsb/news/" class="tool-blog-32" >
            News
        </a>
        
        
    </li>
  
    <li class="">
        <a href="/p/xsb/code/" class="tool-git-32" >
            Sources (GIT)
        </a>
        
        
    </li>
  
    <li class="selected">
        <a href="/p/xsb/src/" class="tool-svn-32" >
            Src  (SVN)-old
        </a>
        
        
    </li>
  
  
</ul>
</div>


            
        </div>
        <div id="content_base">
            

    
                
                    
<a id="sidebar-activate" href="#">
    <span class="btn-label">Menu</span>
    <span class="btn-arrow-down">▾</span>
    <span class="btn-arrow-up">▴</span>
</a>

                        


<div id="sidebar">
  
    <div class="placeholder-no-searchbox">&nbsp;</div>
  
    
    
      
      
        
    
      <ul class="sidebarmenu">
      
    
  <li>
      
        <a class="icon" href="/p/xsb/src/commit_browser" rel="nofollow" title="Browse Commits"><i class="fa fa-list"></i>
      
      <span>Browse Commits</span>
      </a>
  </li>
  
      
        
    
  <li>
      
        <a href="/p/xsb/src/"  rel="nofollow" >
      
      <span>Browse Files</span>
      </a>
  </li>
  
      
    
    
      </ul>
      
    
    
</div>



<script>
$('#sidebar-admin-header').on('click', function(e){
    $("#sidebar-admin-menu").toggleClass("hidden");
    $(this).toggleClass("expanded");
    e.preventDefault();
});
</script>

                    

                    
                
                
                    
                
                <div class="grid-20 pad">
                    <h2 class="dark title">
                        <span>
<a href="/p/xsb/src/1842/" rel="nofollow">[r1842]</a>:

  
      <a href="./../../../../" rel="nofollow"><b class="fa fa-folder-open-o" title="Root directory"></b></a> /
  
  
    <a href="./../../../" rel="nofollow">trunk</a> /
  
    <a href="./../../" rel="nofollow">XSB</a> /
  
    <a href="./../" rel="nofollow">docs</a> /
  
    <a href="./" rel="nofollow">userman</a> /
  
 manual1.tex
</span>
                        <!-- actions -->
                        <small>
                            

    
    <a class="icon" href="#" id="maximize-content" title="Maximize"><i class="fa fa-expand"></i>&nbsp;Maximize</a>
    <a class="icon" href="#" id="restore-content" title="Restore"><i class="fa fa-compress"></i>&nbsp;Restore</a>
<a class="icon" href="/p/xsb/src/1842/log/?path=/trunk/XSB/docs/userman/manual1.tex" rel="nofollow" title="History"><i class="fa fa-calendar"></i>&nbsp;History</a>

                        </small>
                        <!-- /actions -->
                    </h2>
                    
                    <div>
                        
  

                        
  
    <p><a rel="nofollow" href="?format=raw">Download this file</a></p>
    <div class="clip grid-19 codebrowser">
      <h3>
        136 lines (109 with data), 3.3 kB
      </h3>
      
        <div class="codehilite"><table class="codehilitetable"><tr><td class="linenos"><div class="linenodiv"><pre><span class="normal">  1</span>
<span class="normal">  2</span>
<span class="normal">  3</span>
<span class="normal">  4</span>
<span class="normal">  5</span>
<span class="normal">  6</span>
<span class="normal">  7</span>
<span class="normal">  8</span>
<span class="normal">  9</span>
<span class="normal"> 10</span>
<span class="normal"> 11</span>
<span class="normal"> 12</span>
<span class="normal"> 13</span>
<span class="normal"> 14</span>
<span class="normal"> 15</span>
<span class="normal"> 16</span>
<span class="normal"> 17</span>
<span class="normal"> 18</span>
<span class="normal"> 19</span>
<span class="normal"> 20</span>
<span class="normal"> 21</span>
<span class="normal"> 22</span>
<span class="normal"> 23</span>
<span class="normal"> 24</span>
<span class="normal"> 25</span>
<span class="normal"> 26</span>
<span class="normal"> 27</span>
<span class="normal"> 28</span>
<span class="normal"> 29</span>
<span class="normal"> 30</span>
<span class="normal"> 31</span>
<span class="normal"> 32</span>
<span class="normal"> 33</span>
<span class="normal"> 34</span>
<span class="normal"> 35</span>
<span class="normal"> 36</span>
<span class="normal"> 37</span>
<span class="normal"> 38</span>
<span class="normal"> 39</span>
<span class="normal"> 40</span>
<span class="normal"> 41</span>
<span class="normal"> 42</span>
<span class="normal"> 43</span>
<span class="normal"> 44</span>
<span class="normal"> 45</span>
<span class="normal"> 46</span>
<span class="normal"> 47</span>
<span class="normal"> 48</span>
<span class="normal"> 49</span>
<span class="normal"> 50</span>
<span class="normal"> 51</span>
<span class="normal"> 52</span>
<span class="normal"> 53</span>
<span class="normal"> 54</span>
<span class="normal"> 55</span>
<span class="normal"> 56</span>
<span class="normal"> 57</span>
<span class="normal"> 58</span>
<span class="normal"> 59</span>
<span class="normal"> 60</span>
<span class="normal"> 61</span>
<span class="normal"> 62</span>
<span class="normal"> 63</span>
<span class="normal"> 64</span>
<span class="normal"> 65</span>
<span class="normal"> 66</span>
<span class="normal"> 67</span>
<span class="normal"> 68</span>
<span class="normal"> 69</span>
<span class="normal"> 70</span>
<span class="normal"> 71</span>
<span class="normal"> 72</span>
<span class="normal"> 73</span>
<span class="normal"> 74</span>
<span class="normal"> 75</span>
<span class="normal"> 76</span>
<span class="normal"> 77</span>
<span class="normal"> 78</span>
<span class="normal"> 79</span>
<span class="normal"> 80</span>
<span class="normal"> 81</span>
<span class="normal"> 82</span>
<span class="normal"> 83</span>
<span class="normal"> 84</span>
<span class="normal"> 85</span>
<span class="normal"> 86</span>
<span class="normal"> 87</span>
<span class="normal"> 88</span>
<span class="normal"> 89</span>
<span class="normal"> 90</span>
<span class="normal"> 91</span>
<span class="normal"> 92</span>
<span class="normal"> 93</span>
<span class="normal"> 94</span>
<span class="normal"> 95</span>
<span class="normal"> 96</span>
<span class="normal"> 97</span>
<span class="normal"> 98</span>
<span class="normal"> 99</span>
<span class="normal">100</span>
<span class="normal">101</span>
<span class="normal">102</span>
<span class="normal">103</span>
<span class="normal">104</span>
<span class="normal">105</span>
<span class="normal">106</span>
<span class="normal">107</span>
<span class="normal">108</span>
<span class="normal">109</span>
<span class="normal">110</span>
<span class="normal">111</span>
<span class="normal">112</span>
<span class="normal">113</span>
<span class="normal">114</span>
<span class="normal">115</span>
<span class="normal">116</span>
<span class="normal">117</span>
<span class="normal">118</span>
<span class="normal">119</span>
<span class="normal">120</span>
<span class="normal">121</span>
<span class="normal">122</span>
<span class="normal">123</span>
<span class="normal">124</span>
<span class="normal">125</span>
<span class="normal">126</span>
<span class="normal">127</span>
<span class="normal">128</span>
<span class="normal">129</span>
<span class="normal">130</span>
<span class="normal">131</span>
<span class="normal">132</span>
<span class="normal">133</span>
<span class="normal">134</span>
<span class="normal">135</span></pre></div></td><td class="code"><div><pre><div id="l1" class="code_block"><span class="k">\documentclass</span><span class="na">[11pt]</span><span class="nb">{</span>report<span class="nb">}</span>
</div><div id="l2" class="code_block">
</div><div id="l3" class="code_block"><span class="k">\usepackage</span><span class="nb">{</span>epsf,epsfig,subfigure,latexsym,makeidx,latexsym,xspace,amssymb<span class="nb">}</span>
</div><div id="l4" class="code_block">
</div><div id="l5" class="code_block"><span class="k">\pagestyle</span><span class="nb">{</span>headings<span class="nb">}</span>
</div><div id="l6" class="code_block">
</div><div id="l7" class="code_block"><span class="c">% LaTeX Size Stuff</span>
</div><div id="l8" class="code_block"><span class="c">%-----------------</span>
</div><div id="l9" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\newsched</span><span class="nb">}{</span>Batched Scheduling<span class="nb">}</span>
</div><div id="l10" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\Newsched</span><span class="nb">}{</span>Batched Scheduling<span class="nb">}</span>
</div><div id="l11" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\NewSched</span><span class="nb">}{</span>Batched Scheduling<span class="nb">}</span>
</div><div id="l12" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\Oldsched</span><span class="nb">}{</span>Single Stack Scheduling<span class="nb">}</span>
</div><div id="l13" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\OldSched</span><span class="nb">}{</span>Single Stack Scheduling<span class="nb">}</span>
</div><div id="l14" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\oldsched</span><span class="nb">}{</span>Single Stack Scheduling<span class="nb">}</span>
</div><div id="l15" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\localsched</span><span class="nb">}{</span>Local Scheduling<span class="nb">}</span>
</div><div id="l16" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\Localsched</span><span class="nb">}{</span>Local Scheduling<span class="nb">}</span>
</div><div id="l17" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\LocalSched</span><span class="nb">}{</span>Local Scheduling<span class="nb">}</span>
</div><div id="l18" class="code_block">
</div><div id="l19" class="code_block"><span class="k">\setlength</span><span class="nb">{</span><span class="k">\topmargin</span><span class="nb">}{</span>-0.25in<span class="nb">}</span>
</div><div id="l20" class="code_block"><span class="k">\setlength</span><span class="nb">{</span><span class="k">\headheight</span><span class="nb">}{</span>10pt<span class="nb">}</span>
</div><div id="l21" class="code_block"><span class="k">\setlength</span><span class="nb">{</span><span class="k">\headsep</span><span class="nb">}{</span>30pt<span class="nb">}</span>
</div><div id="l22" class="code_block"><span class="k">\setlength</span><span class="nb">{</span><span class="k">\oddsidemargin</span><span class="nb">}{</span>0.0in<span class="nb">}</span>
</div><div id="l23" class="code_block"><span class="k">\setlength</span><span class="nb">{</span><span class="k">\evensidemargin</span><span class="nb">}{</span>0.0in<span class="nb">}</span>
</div><div id="l24" class="code_block"><span class="k">\setlength</span><span class="nb">{</span><span class="k">\textheight</span><span class="nb">}{</span>8.5in<span class="nb">}</span>
</div><div id="l25" class="code_block"><span class="k">\setlength</span><span class="nb">{</span><span class="k">\textwidth</span><span class="nb">}{</span>6.5in<span class="nb">}</span>
</div><div id="l26" class="code_block"><span class="k">\setlength</span><span class="nb">{</span><span class="k">\footskip</span><span class="nb">}{</span>50pt<span class="nb">}</span>
</div><div id="l27" class="code_block"><span class="k">\setlength</span><span class="nb">{</span><span class="k">\parskip</span><span class="nb">}{</span>2mm<span class="nb">}</span>               <span class="c">% space between paragraphs</span>
</div><div id="l28" class="code_block">
</div><div id="l29" class="code_block"><span class="k">\def\cut</span><span class="nb">{</span><span class="k">\mbox</span><span class="nb">{</span><span class="k">\tt</span> &#39;!&#39;/0<span class="nb">}}</span>
</div><div id="l30" class="code_block"><span class="k">\def\not</span><span class="nb">{</span><span class="k">\mbox</span><span class="nb">{</span><span class="s">$</span><span class="nb">{</span><span class="nv">\tt</span><span class="nb"> &#39;</span><span class="nv">\backslash</span><span class="o">+</span><span class="nb">&#39;</span><span class="o">/</span><span class="m">1</span><span class="nb">}</span><span class="s">$</span><span class="nb">}}</span>
</div><div id="l31" class="code_block">
</div><div id="l32" class="code_block"><span class="k">\newtheorem</span><span class="nb">{</span>example<span class="nb">}{</span>Example<span class="nb">}</span>[section]
</div><div id="l33" class="code_block">
</div><div id="l34" class="code_block"><span class="k">\newenvironment</span><span class="nb">{</span>Prog<span class="nb">}{</span><span class="k">\begin</span><span class="nb">{</span>tt<span class="nb">}</span><span class="k">\begin</span><span class="nb">{</span>tabular<span class="nb">}</span>[c]<span class="nb">{</span>l<span class="nb">}}{</span><span class="k">\end</span><span class="nb">{</span>tabular<span class="nb">}</span><span class="k">\end</span><span class="nb">{</span>tt<span class="nb">}}</span>
</div><div id="l35" class="code_block">
</div><div id="l36" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\comment</span><span class="nb">}</span>[1]<span class="nb">{}</span>
</div><div id="l37" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\ourprolog</span><span class="nb">}{</span>XSB<span class="nb">}</span>
</div><div id="l38" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\smallourprolog</span><span class="nb">}{</span>xsb<span class="nb">}</span>
</div><div id="l39" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\version</span><span class="nb">}{</span>Version 2.2<span class="nb">}</span>
</div><div id="l40" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\LRD</span><span class="nb">}{</span>LRD-stratified<span class="nb">}</span>
</div><div id="l41" class="code_block">
</div><div id="l42" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\demo</span><span class="nb">}</span>[1]<span class="nb">{</span><span class="k">\hspace*</span><span class="nb">{</span>1.5cm<span class="nb">}{</span><span class="k">\tt</span> #1<span class="nb">}}</span>
</div><div id="l43" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\desc</span><span class="nb">}</span>[1]<span class="nb">{</span><span class="k">\item</span><span class="na">[{\tt #1}]</span><span class="k">\hspace*</span><span class="nb">{</span>1mm<span class="nb">}</span><span class="k">\newline</span><span class="nb">}</span>
</div><div id="l44" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\desce</span><span class="nb">}</span>[1]<span class="nb">{</span><span class="k">\item</span><span class="na">[{\tt #1}]</span><span class="nb">}</span>
</div><div id="l45" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\ourrepeatitem</span><span class="nb">}</span>[1]<span class="nb">{</span><span class="k">\item</span><span class="na">[{\mbox{\tt #1}}]</span><span class="k">\</span> <span class="k">\\</span> <span class="k">\vspace*</span><span class="nb">{</span>-.35in<span class="nb">}}</span>
</div><div id="l46" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\ouritem</span><span class="nb">}</span>[1]<span class="nb">{</span><span class="k">\item</span><span class="na">[{\mbox{\tt #1}}]</span><span class="k">\</span> <span class="k">\\</span><span class="nb">}</span>
</div><div id="l47" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\ournewitem</span><span class="nb">}</span>[2]<span class="nb">{</span><span class="k">\item</span><span class="na">[{\mbox{\tt #1}}]</span><span class="k">\hspace*</span><span class="nb">{</span><span class="k">\fill</span><span class="nb">}{</span><span class="k">\mbox</span><span class="nb">{</span><span class="k">\sf</span> #2<span class="nb">}}</span><span class="k">\</span> <span class="k">\\</span><span class="nb">}</span>
</div><div id="l48" class="code_block">
</div><div id="l49" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\stuff</span><span class="nb">}</span>[1]<span class="nb">{</span>
</div><div id="l50" class="code_block">        <span class="k">\begin</span><span class="nb">{</span>minipage<span class="nb">}{</span>4in<span class="nb">}</span>
</div><div id="l51" class="code_block">        <span class="nb">{</span><span class="k">\tt</span> <span class="k">\samepage</span>
</div><div id="l52" class="code_block">        <span class="k">\begin</span><span class="nb">{</span>tabbing<span class="nb">}</span>
</div><div id="l53" class="code_block">        <span class="k">\hspace</span><span class="nb">{</span>8mm<span class="nb">}</span> <span class="k">\=</span> <span class="k">\hspace</span><span class="nb">{</span>6mm<span class="nb">}</span> <span class="k">\=</span> <span class="k">\hspace</span><span class="nb">{</span>10mm<span class="nb">}</span> <span class="k">\=</span> <span class="k">\hspace</span><span class="nb">{</span>55mm<span class="nb">}</span> <span class="k">\=</span> <span class="k">\kill</span>
</div><div id="l54" class="code_block">        #1 <span class="k">\hfill</span>
</div><div id="l55" class="code_block">        <span class="k">\end</span><span class="nb">{</span>tabbing<span class="nb">}</span>
</div><div id="l56" class="code_block">        <span class="nb">}</span>
</div><div id="l57" class="code_block">        <span class="k">\end</span><span class="nb">{</span>minipage<span class="nb">}</span>
</div><div id="l58" class="code_block"><span class="nb">}</span>
</div><div id="l59" class="code_block">
</div><div id="l60" class="code_block"><span class="k">\newcommand</span><span class="nb">{</span><span class="k">\longline</span><span class="nb">}{</span><span class="k">\noindent\rule</span><span class="nb">{</span><span class="k">\textwidth</span><span class="nb">}{</span>.01in<span class="nb">}}</span>
</div><div id="l61" class="code_block">
</div><div id="l62" class="code_block"><span class="c">%------------------------------------------------------------</span>
</div><div id="l63" class="code_block"><span class="k">\input</span><span class="nb">{</span>predindex.sty<span class="nb">}</span>
</div><div id="l64" class="code_block"><span class="k">\makepredindex</span>
</div><div id="l65" class="code_block"><span class="k">\makeindex</span>
</div><div id="l66" class="code_block"><span class="c">%------------------------------------------------------------</span>
</div><div id="l67" class="code_block">
</div><div id="l68" class="code_block"><span class="k">\begin</span><span class="nb">{</span>document<span class="nb">}</span>
</div><div id="l69" class="code_block">
</div><div id="l70" class="code_block"><span class="k">\title</span><span class="nb">{</span><span class="k">\bf</span> The XSB System <span class="k">\\</span> <span class="k">\version</span> <span class="k">\\</span> Volume 1: Programmer&#39;s Manual<span class="nb">}</span>
</div><div id="l71" class="code_block">
</div><div id="l72" class="code_block"><span class="k">\author</span><span class="nb">{{</span><span class="k">\epsfxsize</span>=230pt <span class="k">\epsfbox</span><span class="nb">{</span>xsb-logo.eps<span class="nb">}}</span><span class="k">\\</span>
</div><div id="l73" class="code_block">        <span class="k">\</span> <span class="k">\\</span> <span class="k">\</span> <span class="k">\\</span>
</div><div id="l74" class="code_block">        <span class="nb">{</span><span class="k">\em</span> Konstantinos Sagonas<span class="nb">}</span> <span class="k">\\</span>
</div><div id="l75" class="code_block">        <span class="nb">{</span><span class="k">\em</span> Terrance Swift<span class="nb">}</span> <span class="k">\\</span>
</div><div id="l76" class="code_block">        <span class="nb">{</span><span class="k">\em</span> David S. Warren<span class="nb">}</span> <span class="k">\\</span> 
</div><div id="l77" class="code_block">        <span class="nb">{</span><span class="k">\em</span> Juliana Freire<span class="nb">}</span> <span class="k">\\</span>
</div><div id="l78" class="code_block">        <span class="nb">{</span><span class="k">\em</span> Prasad Rao<span class="nb">}</span> <span class="k">\\</span>
</div><div id="l79" class="code_block">        <span class="k">\</span> <span class="k">\\</span> <span class="k">\\</span> <span class="k">\\</span>
</div><div id="l80" class="code_block">        <span class="nb">{</span><span class="k">\normalsize</span> with contributions from<span class="nb">}</span> <span class="k">\\</span>
</div><div id="l81" class="code_block">        <span class="nb">{</span><span class="k">\em</span> Steve Dawson<span class="nb">}</span> <span class="k">\\</span>
</div><div id="l82" class="code_block">        <span class="nb">{</span><span class="k">\em</span> Michael Kifer<span class="nb">}</span> <span class="k">\\</span>
</div><div id="l83" class="code_block">        <span class="k">\</span> <span class="k">\\</span>
</div><div id="l84" class="code_block"><span class="nb">}</span> 
</div><div id="l85" class="code_block">
</div><div id="l86" class="code_block"><span class="c">%%\date{November 1999}</span>
</div><div id="l87" class="code_block">
</div><div id="l88" class="code_block"><span class="k">\maketitle</span>
</div><div id="l89" class="code_block">
</div><div id="l90" class="code_block"><span class="k">\thispagestyle</span><span class="nb">{</span>empty<span class="nb">}</span>
</div><div id="l91" class="code_block"><span class="k">\input</span><span class="nb">{</span>credits1<span class="nb">}</span>
</div><div id="l92" class="code_block"><span class="k">\newpage</span>
</div><div id="l93" class="code_block"><span class="k">\thispagestyle</span><span class="nb">{</span>empty<span class="nb">}</span>
</div><div id="l94" class="code_block"><span class="c">%\input{Acknowl}</span>
</div><div id="l95" class="code_block"><span class="c">%\newpage</span>
</div><div id="l96" class="code_block">
</div><div id="l97" class="code_block"><span class="k">\pagenumbering</span><span class="nb">{</span>roman<span class="nb">}</span>
</div><div id="l98" class="code_block"><span class="k">\tableofcontents</span>
</div><div id="l99" class="code_block"><span class="k">\newpage</span>        <span class="c">% Just to avoid a silly LaTeX bug with \pagenumbering</span>
</div><div id="l100" class="code_block">  
</div><div id="l101" class="code_block"><span class="k">\pagenumbering</span><span class="nb">{</span>arabic<span class="nb">}</span>
</div><div id="l102" class="code_block">
</div><div id="l103" class="code_block"><span class="k">\input</span><span class="nb">{</span>intro<span class="nb">}</span>
</div><div id="l104" class="code_block"><span class="k">\input</span><span class="nb">{</span>quick<span class="nb">_</span>start<span class="nb">}</span>
</div><div id="l105" class="code_block"><span class="k">\input</span><span class="nb">{</span>system<span class="nb">}</span>
</div><div id="l106" class="code_block"><span class="k">\input</span><span class="nb">{</span>syntax<span class="nb">}</span>
</div><div id="l107" class="code_block"><span class="k">\input</span><span class="nb">{</span>tables<span class="nb">}</span>
</div><div id="l108" class="code_block"><span class="k">\input</span><span class="nb">{</span>builtin<span class="nb">}</span>
</div><div id="l109" class="code_block"><span class="k">\input</span><span class="nb">{</span>state<span class="nb">}</span>
</div><div id="l110" class="code_block"><span class="k">\input</span><span class="nb">{</span>rbltin<span class="nb">}</span>
</div><div id="l111" class="code_block"><span class="k">\input</span><span class="nb">{</span>debugging<span class="nb">}</span>
</div><div id="l112" class="code_block"><span class="k">\input</span><span class="nb">{</span>dcg<span class="nb">}</span>
</div><div id="l113" class="code_block"><span class="c">%\input{library}</span>
</div><div id="l114" class="code_block"><span class="c">%\input{perlmatch}</span>
</div><div id="l115" class="code_block"><span class="c">%\input{foreign}</span>
</div><div id="l116" class="code_block"><span class="c">%\input{ccallingxsb}</span>
</div><div id="l117" class="code_block"><span class="c">%\input{oracle_inter}</span>
</div><div id="l118" class="code_block"><span class="k">\input</span><span class="nb">{</span>restrict<span class="nb">}</span>
</div><div id="l119" class="code_block"><span class="c">%\input{contact}</span>
</div><div id="l120" class="code_block">
</div><div id="l121" class="code_block"><span class="k">\appendix</span>
</div><div id="l122" class="code_block">
</div><div id="l123" class="code_block"><span class="k">\input</span><span class="nb">{</span>gpp<span class="nb">}</span>
</div><div id="l124" class="code_block"><span class="k">\input</span><span class="nb">{</span>standard<span class="nb">_</span>pred<span class="nb">}</span>
</div><div id="l125" class="code_block"><span class="c">%\input{primitive_pred}</span>
</div><div id="l126" class="code_block"><span class="k">\input</span><span class="nb">{</span>module<span class="nb">_</span>list<span class="nb">}</span>
</div><div id="l127" class="code_block"><span class="c">%\input{non_supported}</span>
</div><div id="l128" class="code_block">
</div><div id="l129" class="code_block"><span class="k">\bibliographystyle</span><span class="nb">{</span>abbrv<span class="nb">}</span>
</div><div id="l130" class="code_block"><span class="k">\bibliography</span><span class="nb">{</span>manual<span class="nb">}</span>
</div><div id="l131" class="code_block">
</div><div id="l132" class="code_block"><span class="c">%%\input{manual1.ind}</span>
</div><div id="l133" class="code_block"><span class="k">\printindex</span>
</div><div id="l134" class="code_block">
</div><div id="l135" class="code_block"><span class="k">\end</span><span class="nb">{</span>document<span class="nb">}</span>
</div></pre></div></td></tr></table></div>

      
    </div>
  

                    </div>
                    
                    
                </div>
            



        </div>
    </section>
      

    <footer class="sandiego">
    <div class="as-row">
        <div class="footer-wrapper">
            <nav aria-label="Site Links" role="navigation">
                <section>
                    <div class="as-h2">SourceForge</div>
                    <ul>
                    
                        <li><a href="/create/" title="Create a Project">Create a Project</a></li>
                    
                        <li><a href="/directory/" title="Open Source Software Directory">Open Source Software</a></li>
                        <li><a href="/software/" title="Business Software Directory">Business Software</a></li>
                        
                            
                            <li><a href="/top" title="Top Open Source Projects">Top Downloaded Projects</a></li>
                        

                    </ul>
                </section>
            </nav>
            <nav aria-label="Company Links" role="navigation">
                <section>
                    <div class="as-h2">Company</div>
                    <ul>
                        <li><a href="/about">About</a></li>
                        <li><a href="/about/leadership" title="Open Source Software Directory">Team</a></li>
                        <li class="h-card">
                            <address>
                                <span class="p-name p-org">SourceForge Headquarters</span><br>
                                <span class="p-street-address">225 Broadway Suite 1600</span><br>
                                <span class="p-locality">San Diego, CA <span class="p-postal-code">92101</span></span><br>
                                <span class="p-tel">+1 (858) 422-6466</span><br>
                            </address>
                        </li>
                        <li id="social">
                            
<span></span>
<a href="https://twitter.com/sourceforge" class="twitter" rel="nofollow" target="_blank" title="SourceForge on X">


<svg  class="vertical-icon-fix" data-name="twitter" viewBox="0 0 1792 1792" xmlns="http://www.w3.org/2000/svg"><path d="M1684 408q-67 98-162 167 1 14 1 42 0 130-38 259.5t-115.5 248.5-184.5 210.5-258 146-323 54.5q-271 0-496-145 35 4 78 4 225 0 401-138-105-2-188-64.5t-114-159.5q33 5 61 5 43 0 85-11-112-23-185.5-111.5t-73.5-205.5v-4q68 38 146 41-66-44-105-115t-39-154q0-88 44-163 121 149 294.5 238.5t371.5 99.5q-8-38-8-74 0-134 94.5-228.5t228.5-94.5q140 0 236 102 109-21 205-78-37 115-142 178 93-10 186-50z"/></svg></a>
<a href="https://fosstodon.org/@sourceforge" rel="me nofollow" target="_blank" title="SourceForge on Mastodon">


<svg  class="vertical-icon-fix" data-name="mastodon" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><path d="M433 179.11c0-97.2-63.71-125.7-63.71-125.7-62.52-28.7-228.56-28.4-290.48 0 0 0-63.72 28.5-63.72 125.7 0 115.7-6.6 259.4 105.63 289.1 40.51 10.7 75.32 13 103.33 11.4 50.81-2.8 79.32-18.1 79.32-18.1l-1.7-36.9s-36.31 11.4-77.12 10.1c-40.41-1.4-83-4.4-89.63-54a102.54 102.54 0 0 1-.9-13.9c85.63 20.9 158.65 9.1 178.75 6.7 56.12-6.7 105-41.3 111.23-72.9 9.8-49.8 9-121.5 9-121.5zm-75.12 125.2h-46.63v-114.2c0-49.7-64-51.6-64 6.9v62.5h-46.33V197c0-58.5-64-56.6-64-6.9v114.2H90.19c0-122.1-5.2-147.9 18.41-175 25.9-28.9 79.82-30.8 103.83 6.1l11.6 19.5 11.6-19.5c24.11-37.1 78.12-34.8 103.83-6.1 23.71 27.3 18.4 53 18.4 175z"/></svg></a>
<a href="https://www.facebook.com/sourceforgenet/" class="facebook" rel="nofollow" target="_blank" title="SourceForge on Facebook">


<svg  data-name="facebook" viewBox="0 0 1792 1792" xmlns="http://www.w3.org/2000/svg"><path d="M1343 12v264h-157q-86 0-116 36t-30 108v189h293l-39 296h-254v759h-306v-759h-255v-296h255v-218q0-186 104-288.5t277-102.5q147 0 228 12z"/></svg></a>
<a href="https://www.linkedin.com/company/sourceforge.net" class="linkedin" rel="nofollow" target="_blank" title="SourceForge on LinkedIn">


<svg  data-name="linkedin" viewBox="0 0 1792 1792" xmlns="http://www.w3.org/2000/svg"><path d="M477 625v991h-330v-991h330zm21-306q1 73-50.5 122t-135.5 49h-2q-82 0-132-49t-50-122q0-74 51.5-122.5t134.5-48.5 133 48.5 51 122.5zm1166 729v568h-329v-530q0-105-40.5-164.5t-126.5-59.5q-63 0-105.5 34.5t-63.5 85.5q-11 30-11 81v553h-329q2-399 2-647t-1-296l-1-48h329v144h-2q20-32 41-56t56.5-52 87-43.5 114.5-15.5q171 0 275 113.5t104 332.5z"/></svg></a>

<a href="/user/newsletters" rel=nofollow class="newsletter" title="Subscribe to our newsletter">


<svg  class="vertical-icon-fix" data-name="mmSF_11mail" xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" viewBox="0 0 42 42" enable-background="new 0 0 42 42" xml:space="preserve"><path fill="#FFFFFF" d="M0,6v30h42V6H0z M24.2,21.2c-0.8,0.8-2.3,2-3.2,2c-0.9,0-2.4-1.2-3.2-2L5.8,9.7h30.3L24.2,21.2z M13.7,21l-9.9,9.4V11.6L13.7,21z M15.7,23L15.7,23c0.5,0.5,2.9,2.9,5.3,2.9c2.4,0,4.8-2.4,5.2-2.8l0.1-0.1l9.8,9.4H5.8L15.7,23z M28.3,21l9.9-9.5v18.9L28.3,21z"/></svg></a>

<span></span>
                        </li>
                    </ul>
                </section>
            </nav>
             <nav aria-label="Resources Links" role="navigation">
                <section>
                    <div class="as-h2">Resources</div>
                    <ul>
                        
                            <li><a href="/support" title="Support Section">Support</a></li>
                            <li><a href="/p/forge/documentation/Docs%20Home/" title="Site Documentation">Site Documentation</a></li>
                        
                        <li><a href="https://fosstodon.org/@sourceforgestatus" title="Site Status" rel="me nofollow">Site Status</a></li>
                        <li><a href="/reviews" title="Reviews" rel="me nofollow">SourceForge Reviews</a></li>

                    </ul>
                </section>
            </nav>
            <section class="footer-logo">
                <a href="/" title="Home" class="sf-logo">
                    
    
    <img src="https://a.fsdn.com/con/images/sandiego/sf-logo-full.svg"  alt="SourceForge logo" class="sf-logo-full"/>
                </a>
            </section>
        </div>
    </div>
    <section class="l-nav-bottom">
        <nav class="row">
            
                
            
        
    <div class="columns small-12 large-6 copyright-notice">
        &copy; 2025 Slashdot Media. All Rights Reserved.
    </div>
    <div class="columns large-6 links links-right">
        

    
    

    <a href="https://slashdotmedia.com/terms-of-use" target="_blank" title="Terms" rel="nofollow">Terms</a>
    <a href="https://slashdotmedia.com/privacy-statement/" target="_blank" title="Privacy" rel="nofollow">Privacy</a>

    
    
    

    
        <a href="https://slashdotmedia.com/opt-out-choices/" target="_blank" title="Opt Out" rel="nofollow">Opt Out</a>
    

    
        <a href="https://slashdotmedia.com/contact/" target="_blank" title="Advertise" rel="nofollow">Advertise</a>
    
    </div>
        </nav>
    </section>

    </footer>
    





    
    
    <div id="newsletter-floating" class="sandiego newsletter-floating-new">
        <a class="close-button btn-closer" data-close aria-label="Close modal">
            <span aria-hidden="true">&times;</span>
        </a>
        <div class="as-h2">Want the latest updates on software, tech news, and AI?</div>
        <div class="row">
            <div class="column small-2 medium-2 large-2" style="padding-left: 0px; padding-right: 0px;"><img src="/images/sandiego/sf_email_icon.svg"  alt="" /></div>
            <div class="as-h3 column small-10 medium-10 large-10">Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.</div>
        </div>
        <form action="/user/newsletters/" method="post">
            <div class="row">
              <input class="newsletter-input" type="email" placeholder="Enter your email address" autocomplete="off" name="newsletter_email"
                     value="">
              <input type="hidden" name="source" value="floating">
              <button type="submit" class="button blue newsletter-button">Submit</button>
            </div>
        </form>
    </div>
    






</div>


<div id="messages">
    
</div>


    <!-- ew:body_js -->


    <script type="text/javascript" src="https://a.fsdn.com/allura/nf/1752257864/_ew_/_slim/js?href=allura%2Fjs%2Fjquery.notify.js%3Ballura%2Fjs%2Fjquery.tooltipster.js%3Ballura%2Fjs%2Fallura-base.js%3Ballura%2Fjs%2Fchecklist.js%3Ballura%2Fjs%2Fadmin_modal.js%3Bjs%2Fjquery.lightbox_me.js%3Ballura%2Fjs%2Fmemorable.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fshared.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fsticky.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fsandiego%2Fchrome.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fsandiego%2Futilities.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fvendor%2Ffoundation6%2Fplugins%2Ffoundation.core.min.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fvendor%2Ffoundation6%2Fplugins%2Ffoundation.util.mediaQuery.min.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fvendor%2Ffoundation6%2Fplugins%2Ffoundation.util.keyboard.min.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fvendor%2Ffoundation6%2Fplugins%2Ffoundation.util.box.min.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fvendor%2Ffoundation6%2Fplugins%2Ffoundation.util.nest.min.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fvendor%2Ffoundation6%2Fplugins%2Ffoundation.dropdownMenu.min.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fvendor%2Ffoundation6%2Fplugins%2Ffoundation.offcanvas.min.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fvendor%2Ffoundation6%2Fplugins%2Ffoundation.toggler.min.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fsandiego%2Fproject.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fvendor%2Fjquery.typeahead.min.js%3Ballura%2Fjs%2Fmaximize-content.js"></script>

    
<!-- /ew:body_js -->



    <!-- ew:body_js_tail -->


    <script type="text/javascript" src="https://a.fsdn.com/allura/nf/1752257864/_ew_/_slim/js?href=theme%2Fsftheme%2Fjs%2Fsftheme%2Fvendor%2Ffoundation6%2Fplugins%2Ffoundation.util.triggers.min.js%3Btheme%2Fsftheme%2Fjs%2Fsftheme%2Fvendor%2Ffoundation6%2Fplugins%2Ffoundation.reveal.min.js"></script>

    
<!-- /ew:body_js_tail -->




<script type="text/javascript">(function() {
  $('#access_urls .btn').click(function(evt){
    evt.preventDefault();
    var parent = $(this).parents('.btn-bar');
    var checkout_cmd = $(this).attr('data-url');
    $(parent).find('input').val(checkout_cmd);
    $(parent).find('span').text($(this).attr('title')+' access');
    $(this).parent().children('.btn').removeClass('active');
    $(this).addClass('active');
    if (checkout_cmd.indexOf(' http://') !== -1 || checkout_cmd.indexOf(' https://') !== -1 ) {
      $('#http-2fa-msg').show();
    } else {
      $('#http-2fa-msg').hide();
    }
  });
  $('#access_urls .btn').first().click();

  
  var repo_status = document.getElementById('repo_status');
  // The repo_status div will only be present if repo.status != 'ready'
  if (repo_status) {
    $('.spinner').show()
    var delay = 500;
    function check_status() {
        $.get('/p/xsb/src/status', function(data) {
            if (data.status === 'ready') {
                $('.spinner').hide()
                $('#repo_status h2').html('Repo status: ready. <a href="." rel="nofollow">Click here to refresh this page.</a>');
            }
            else {
                $('#repo_status h2 span').html(data.status);
                if (delay < 60000){
                    delay = delay * 2;
                }
                window.setTimeout(check_status, delay);
            }
        });
    }
    var status_checker = window.setTimeout(check_status, delay);
    
  }
}());
</script>

<script type="text/javascript">(function() {
  $(window).on('hashchange', function(e) {
    var hash = window.location.hash.substring(1);
    if ('originalEvent' in e && 'oldURL' in e.originalEvent) {
      $('#' + e.originalEvent.oldURL.split('#')[1]).css('background-color', 'transparent');
    }
    if (hash !== '' && hash.substring(0, 1) === 'l' && !isNaN(hash.substring(1))) {
      $('#' + hash).css('background-color', '#ffff99');
    }
  }).trigger('hashchange');

  var clicks = 0;
  $('.code_block').each(function(index, element) {
    $(element).on('click', function() {
      // Trick to ignore double and triple clicks
      clicks++;
      if (clicks === 1) {
        setTimeout(function() {
          if (clicks === 1) {
            var hash = window.location.hash.substring(1);
            if (hash !== '' && hash.substring(0, 1) === 'l' && !isNaN(hash.substring(1))) {
              $('#' + hash).css('background-color', 'transparent');
            }
            $(element).css('background-color', '#ffff99');
            window.history.pushState({}, document.title, window.location.pathname + window.location.search + '#' + $(element).attr('id'));
          }
          clicks = 0;
        }, 500);
      }
    });
  });
}());
</script>


    


    
    
    <noscript><p><img src="https://analytics.slashdotmedia.com/index.php?idsite=39" style="border:0;position:absolute;top:0;" alt="" /></p></noscript>
    
    <script>
        $(document).foundation();
    </script>
    








    

<script>
    (function () {
        function load_bombora() {
            /*global _ml:true, window */
            _ml = window._ml || {};
            
            _ml.eid = '771';
            _ml.fp = 'c8021ca8-cc19-48b7-b68f-187e45f35253';  
            var s = document.getElementsByTagName('script')[0], cd = new Date(), mltag = document.createElement('script');
            mltag.type = 'text/javascript';
            mltag.async = true;
            mltag.defer = true;
            mltag.src = '//ml314.com/tag.aspx?' + cd.getDate() + cd.getMonth() + cd.getFullYear();
            s.parentNode.insertBefore(mltag, s);
        }
        bizx.cmp.ifConsent({ purposes: 'all', vendors: 'bombora'},function() {
                    if (document.hidden) {
                        document.addEventListener('visibilitychange', function () {
                            if (!document.hidden) {
                                load_bombora();
                            }
                        }, {once: true});
                    } else {
                        load_bombora();
                    }
                });
    })();
</script>




<script>
    $(document).ready(function () {
        $(".tooltip, .m-tooltip").each(function(){
            let $el = $(this);
            $el.tooltipster({
                animation: 'fade',
                delay: 200,
                theme: 'tooltipster-light',
                trigger: 'hover',
                position: $el.data('position') || 'right',
                iconCloning: false,
                maxWidth: 300,
                contentAsHTML: true,
                interactive: true
            }).focus(function () {
                $(this).tooltipster('show');
            }).blur(function () {
                $(this).tooltipster('hide');
            });
        });
    });
</script>

    



<script type="text/javascript">
    bizx.cmp.ifConsent({ purposes: ['storage', 'measurement'], vendors: 'google-analytics'}, function () {
        /* jshint ignore:start */
        (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
                (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
            m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
        })(window,document,'script','//www.google-analytics.com/analytics.js','ga');
        /* jshint ignore:end */

        window.dataLayer = window.dataLayer || [];
        function gtag(){ window.dataLayer.push(arguments); }
        window.gtag = window.gtag || gtag;
        bizx.cmp.embedScript("https://www.googletagmanager.com/gtag/js");
        gtag('js', new Date());
        gtag('set', {
            'page_location': 'https://sourceforge.net/p/xsb/src/1842/tree/trunk/XSB/docs/userman/manual1.tex',
        });
    });
</script>










<script>
        function gam(id){
            bizx.cmp.ifConsent({ purposes: 'all' }, function () {
                bizx.cmp.embedScript(`https://pagead2.googlesyndication.com/pagead/js/pcd.js?${id}`,
                    true,  // async
                    'head', // location
                    null, // callback
                    false, // defer
                    {id: `google-pcd-tag-${id}`, 'data-audience-pixel': 'dc_iu=/41014381/DFPAudiencePixel;dc_seg=' + id});
            });
        }

        
            gam("8901705213");gam("8901712041");</script>

<script type="text/javascript">
    /*global ga, gtag */

    
        
        bizx.cmp.ifConsent({ purposes: ['storage', 'measurement'], vendors: 'google-analytics'}, function () {
            gtag('config', 'G-1H226E4E4L', {
                
                send_page_view: false,
                'SF_Page_Type': '', 
                user_properties: {
                    'SF_Logged_in': 'Logged Out', 
                },
                'devicePixelRatio': SF.devicePixelRatio, 
            });
            gtag('event', 'page_view', { send_to: 'G-1H226E4E4L' });
        });
    
    
    
        
</script>

</body>
</html>