Home
last modified time | relevance | path

Searched refs:XSB (Results 1 – 25 of 101) sorted by relevance

12345

/dports/lang/swi-pl/swipl-8.2.3/src/Tests/xsb/
H A DREADME.md1 # 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 DREADME.md1 # 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 Dstandard.pl45 /** <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 Dgpp.pl39 /** <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 Dstorage.pl42 /** <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 Dtimed_call.pl40 /** <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 Dmachine.pl81 % 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 Dincreval.pl53 /** <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 Derror_handler.pl57 /** <module> XSB compatible error handling
97 % This predicate, which is used by XSB’s default error handler, prints
H A Dsource.pl42 /** <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 Dbasics.pl54 /** <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 Dtables.pl65 /** <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 Ddialect.doc5 \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 Dabstract.doc12 recomputation. Following XSB, SWI-Prolog's tabling supports sound
20 XSB.
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/XSB/
H A Dppl_interface_generator_xsb_prolog_generated_test_P.m45 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 Dppl_prolog_sysdep.hh27 using namespace Parma_Polyhedra_Library::Interfaces::Prolog::XSB;
H A Dxsb_efli.hh36 namespace XSB { namespace
H A Dxsb_pl_check.P1 /* Prolog main program for the PPL/XSB-Prolog predicate checker.
195 prolog_system('XSB').
H A Dxsb_efli.cc33 namespace XSB { namespace
/dports/lang/swi-pl/swipl-8.2.3/library/dialect/
H A Dxsb.pl81 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 DREADME.md1 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 Dnamespaces.hh146 namespace XSB { namespace
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/
H A DProlog_interface_sysdep.dox198 <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 DChangeLog_2001-200817640 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 Dxsb_test_sub.pl43 /** <module> Run XSB call subsumption tests

12345