/dports/lang/swi-pl/swipl-8.2.3/src/Tests/xsb/ |
H A D | README.md | 1 # XSB test suite 3 This directory contains tests that are copied from XSB Prolog. Using XSB 5 to get XSB and SWI-Prolog more compatible. This project is carried out 9 The original XSB tests use shell scripts to drive the tests. This copy 15 The XSB project is govered by the LGPL license. This allows us to
|
/dports/lang/swi-pl/swipl-8.2.3/library/dialect/xsb/ |
H A D | README.md | 1 # XSB Prolog dialect support 3 This directory provides the library emulation for XSB. It is normally 9 The library files themselves are either SWI-Prolog module files or XSB 10 module files. They are available through the XSB directive below after 18 XSB dialect support simply by loading ``.P`` files.
|
H A D | standard.pl | 45 /** <module> XSB Term Writing to Designated I/O Streams 47 This module emulates the XSB dedicated term writing predicates from the 50 @compat XSB has a number of additional streams which we do not have. For 142 % @compat XSB. XSB writes to ``STDMSG``. Possibly we should also
|
H A D | gpp.pl | 39 /** <module> Use XSB gpp preprocessor 41 This library enables using the XSB gpp preprocessor on .P files. 43 this compatibility get it from XSB. The XSB sources provide `gpp.c`, a 82 % Implementation of the open source hook to use the XSB gpp
|
H A D | storage.pl | 42 /** <module> Emulate XSB syslib/storage.P 44 This is a very partial emulation of the XSB storage library using 46 variables and destructive operations are, like XSB storages thread
|
H A D | timed_call.pl | 40 /** <module> XSB timed call 42 This module emulates the XSB built-in timed_call/2. As this is a 51 % Emulation for XSB timed_call/2. Runs Goal as once/1 with timed 73 % library(time) interface. It is left in the XSB emulation because it
|
H A D | machine.pl | 81 % Undocumented in the XSB manual. 87 % Undocumented in the XSB manual. Tables are always closed on 136 % Emulation of internal XSB predicate 241 % Low-level query. Used by the XSB test suite.
|
H A D | increval.pl | 53 /** <module> XSB incremental dynamic predicate modification 55 This module emulates the XSB module `increval`. This module serves two 101 % @compat: In XSB, at least one of Goal 1 or Goal 2 must be bound.
|
H A D | error_handler.pl | 57 /** <module> XSB compatible error handling 97 % This predicate, which is used by XSB’s default error handler, prints
|
H A D | source.pl | 42 /** <module> Support XSB source .P files 44 This module is a lightweight module that allows loading .P files as XSB 299 % define the typical XSB operators to limit syntax errors while
|
H A D | basics.pl | 54 /** <module> XSB basics.P emulation 56 This module provides the XSB `basics` module. The implementation either 57 simply uses SWI-Prolog built-ins and libraries or is copied from the XSB
|
/dports/lang/swi-pl/swipl-8.2.3/library/ |
H A D | tables.pl | 65 /** <module> XSB interface to tables 67 This module provides an XSB compatible library to access tables as 69 all compatibility with XSB. This library contains some old and internal 70 XSB predicates that are marked deprecated. 97 % This predicate emerged in XSB in an attempt to provide a safer 249 % disjunction of conjunctions. The XSB representation is 255 % This XSB predicate returns the associated conjunctions 366 % @compat Options is compatible with XSB, but does not follow the ISO
|
/dports/lang/swi-pl/swipl-8.2.3/man/ |
H A D | dialect.doc | 5 \index{XSB,prolog}% 218 \href{http://xsb.sourceforge.net/}{XSB} Prolog compatibility emerged 240 \subsubsection{Loading XSB source files} 243 SWI-Prolog's emulation of XSB depends on the XSB preferred file name 249 \item In the first phase the file is read with XSB compatible 272 XSB files can be loaded as normal SWI-Prolog files using 278 \index{gpp,XSB proprocessor}% 279 XSB code may depend on the \program{gpp} preprocessor. We do not 280 provide \program{gpp}. It is however possible to send XSB source 287 \subsection{The XSB import directive} [all …]
|
H A D | abstract.doc | 12 recomputation. Following XSB, SWI-Prolog's tabling supports sound 20 XSB.
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/XSB/ |
H A D | ppl_interface_generator_xsb_prolog_generated_test_P.m4 | 5 dnl the XSB dependent code for xsb_prolog_generated_test.pl. 33 /* XSB Prolog interface: XSB Prolog part for checking all predicates. 66 prolog_system('XSB').
|
H A D | ppl_prolog_sysdep.hh | 27 using namespace Parma_Polyhedra_Library::Interfaces::Prolog::XSB;
|
H A D | xsb_efli.hh | 36 namespace XSB { namespace
|
H A D | xsb_pl_check.P | 1 /* Prolog main program for the PPL/XSB-Prolog predicate checker. 195 prolog_system('XSB').
|
H A D | xsb_efli.cc | 33 namespace XSB { namespace
|
/dports/lang/swi-pl/swipl-8.2.3/library/dialect/ |
H A D | xsb.pl | 81 op(900, fy, not), % defined as op in XSB 93 /** <module> XSB Prolog compatibility layer 95 This module provides partial compatibility with the [XSB Prolog 155 % Register XSB specific term-expansion to rename conflicting directives. 193 % Make Predicates visible in From. As the XSB library structructure is 379 % The XSB version compiles a file into .xwam without loading it. We do 410 % Set the XSB global compiler options. 486 % Same as \+ (support XSB legacy code). As the XSB manual claims this 542 % Control the XSB debugger. The current implementation merely defines 639 % @compat The below implementation covers all operations from XSB 3.8.
|
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/xsb/ptq/ |
H A D | README.md | 1 The ptq testsuite was the first testsuite written for XSB, as I recall 3 helpful in finding a number of bugs in XSB, but can be a little 10 was a stable SLG meta-interpreter and before the name XSB was stumbled 23 emu = this file was created by XSB.
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | namespaces.hh | 146 namespace XSB { namespace
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/ |
H A D | Prolog_interface_sysdep.dox | 198 <H2>XSB</H2> 200 The XSB Prolog interface to the PPL is available 202 Only some CVS versions of XSB starting from 2 July 2005 are known to work. 205 In order to dynamically load the library from XSB you should 212 in your current directory or in one of the XSB library directories.
|
/dports/devel/ppl/ppl-1.2/ |
H A D | ChangeLog_2001-2008 | 17640 XSB. 42617 XSB/ppl_interface_generator_xsb_cc.m4, XSB/ppl_xsb.H, 45143 (1.123), XSB/ppl_xsb.H (1.48), XSB/ppl_xsb.cc (1.88), 51669 * interfaces/Prolog/XSB/ppl_xsb.cc (1.82): In XSB 2.7.1, 52029 XSB/ppl_xsb.H (1.46), XSB/ppl_xsb.cc (1.79), XSB/xsb_pl_check.P 53817 XSB/ppl_xsb.H (1.44), XSB/ppl_xsb.cc (1.76), XSB/xsb_pl_check.P 60384 XSB/ppl_xsb.H (1.42), XSB/ppl_xsb.cc (1.71), XSB/xsb_pl_check.P 61870 XSB/expected3_int32 (1.2), XSB/expected3_int8 (1.2), 73409 XSB/Makefile.am (1.23), XSB/expected2_int8 (1.1), 79842 in XSB. [all …]
|
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/xsb/sub_tests/ |
H A D | xsb_test_sub.pl | 43 /** <module> Run XSB call subsumption tests
|