/dports/lang/swi-pl/swipl-8.2.3/library/dialect/sicstus/ |
H A D | arrays.pl | 46 /** <module> SICStus 3 compatible array-library 48 @deprecated library(arrays) is dropped from SICStus 50 internal representation differs from the SICStus implementation. 56 % @compat SICStus-3 65 % @compat SICStus-3 76 % @compat SICStus-3 86 % @compat SICStus-3 98 % @compat SICStus-3 106 % @compat SICStus-3 115 % @compat SICStus-3
|
H A D | system.pl | 75 /** <module> SICStus-3 library system 99 % SICStus 3 compatible implementation of exec/3 on top of the 100 % SICStus 4 compatible process_create/3. 102 % @bug The SICStus version for Windows seems to hand Command
|
H A D | timeout.pl | 41 /** <module> SICStus compatible time out handling 52 % This library provides a SICStus compatible implementation of 65 % SICStus original. Notably, Time is measured in __wall-time instead
|
/dports/lang/yap/yap-6.2.2/packages/chr/ |
H A D | chr_swi_bootstrap.pl | 94 %% SICStus begin 102 %% SICStus end 146 %% SICStus begin 151 %% SICStus end 202 %% SICStus begin 205 %% SICStus end
|
H A D | chr_compiler_errors.pl | 61 %% SICStus begin 63 %% SICStus end
|
H A D | chr_swi.pl | 79 %% SICStus begin 111 %% SICStus end
|
/dports/lang/swi-pl/swipl-8.2.3/packages/chr/ |
H A D | chr_swi_bootstrap.pl | 109 %% SICStus begin 117 %% SICStus end 161 %% SICStus begin 166 %% SICStus end 216 %% SICStus begin 218 %% SICStus end
|
H A D | chr_compiler_errors.pl | 65 %% SICStus begin 67 %% SICStus end
|
H A D | chr_swi.pl | 86 %% SICStus begin 118 %% SICStus end
|
/dports/devel/ppl/ppl-1.2/m4/ |
H A D | ac_check_sicstus_prolog.m4 | 1 dnl A function to check for the existence and usability of SICStus Prolog. 35 # We require SICStus Prolog 3.9.1 or later. 37 AC_MSG_CHECKING([for SICStus version 3.9.1 or later])
|
/dports/lang/swi-pl/swipl-8.2.3/library/dialect/ |
H A D | sicstus.pl | 72 /** <module> SICStus compatibility library 75 files that are designed for use with SICStus Prolog. The changes are in
|
/dports/lang/swi-pl/swipl-8.2.3/man/ |
H A D | abstract.doc | 17 ISO Prolog standard it is largely compatible to Quintus, SICStus and YAP 19 cooperation with YAP and instantiated for YAP, SICStus, IF/Prolog and
|
H A D | xpce.doc | 60 In the past, versions for Quintus- and SICStus Prolog as well as 63 on the Quintus and SICStus versions has been stopped due to lack of
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/SICStus/ |
H A D | ppl_prolog_sysdep.hh | 26 using namespace Parma_Polyhedra_Library::Interfaces::Prolog::SICStus;
|
H A D | sicstus_efli.hh | 39 namespace SICStus { namespace
|
H A D | sp_pl_check.pl | 1 /* Main program for the toy PPL/SICStus-Prolog CLP(Q) predicate checker.
|
H A D | sp_prolog_generated_test.pl | 1 /* Main program for the PPL/SICStus-Prolog generated tests.
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/ |
H A D | Prolog_interface_sysdep.dox | 133 <H2>SICStus Prolog</H2> 135 The SICStus Prolog interface to the PPL is available 137 Only SICStus Prolog versions 3.9.0 and later are supported. 141 If an appropriate version of SICStus Prolog is installed on the machine 145 The <CODE>ppl_sicstus</CODE> executable is simply the SICStus Prolog 150 <H3>Loading the SICStus Interface Dynamically</H3> 152 In order to dynamically load the library from SICStus Prolog you should
|
/dports/lang/yap/yap-6.2.2/packages/plunit/ |
H A D | ChangeLog | 107 * FIXED: portability for SICStus 3.12 140 * PORT: =@= is now correctly bound to variant/2 for SICStus. 168 * Portability with SICStus 3.12.
|
/dports/lang/swi-pl/swipl-8.2.3/packages/xpce/prolog/lib/ |
H A D | pce_require.pl | 53 This module is part of infrastructure to port XPCE between SWI, SICStus 59 target_prolog(common). % Common between QP 3.2 and SICStus 3
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | namespaces.hh | 130 namespace SICStus { namespace
|
/dports/lang/swi-pl/swipl-8.2.3/library/ |
H A D | fastrw.pl | 47 This library provides the SICStus and Ciao library(fastrw) interface. 67 @compat The format is not compatible to SICStus/Ciao (which are not
|
/dports/lang/swi-pl/swipl-8.2.3/man/lib/ |
H A D | clpfd.doc | 10 \noindent\textbf{Development of this library has moved to SICStus Prolog.}\\
|
/dports/lang/swi-pl/swipl-8.2.3/packages/clpqr/ |
H A D | clpq.pl | 14 This software is based on CLP(Q,R) by Christian Holzbaur for SICStus
|
/dports/lang/swi-pl/swipl-8.2.3/packages/plunit/ |
H A D | swi.pl | 65 /** <module> SWI-Predicates for SICStus 68 PlUnit environment in SICStus. Tested and developed with SICStus Prolog
|