Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
Features
- <!-- Begin SF Tag --> <div class="sf-root" data-id="1176" data-badge="oss-community-leader-white" data-metadata="achievement=oss-community-leader" style="width:125px"> <a href="https://sourceforge.net/projects/xsb/" target="_blank">XSB</a> </div> <script>(function () {var sc=document.createElement('script');sc.type='text/javascript';sc.async=true;sc.src='https://b.sf-syn.com/badge_js?sf_id=1176';var p=document.getElementsByTagName('script')[0];p.parentNode.insertBefore(sc, p);})(); </script> <!-- End SF Tag -->
License
GNU Library or Lesser General Public License version 2.0 (LGPLv2)Follow XSB
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
-
Important to safety analyst