Home
last modified time | relevance | path

Searched refs:SICStus (Results 1 – 25 of 230) sorted by relevance

12345678910

/dports/lang/swi-pl/swipl-8.2.3/library/dialect/sicstus/
H A Darrays.pl46 /** <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 Dsystem.pl75 /** <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 Dtimeout.pl41 /** <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 Dchr_swi_bootstrap.pl94 %% SICStus begin
102 %% SICStus end
146 %% SICStus begin
151 %% SICStus end
202 %% SICStus begin
205 %% SICStus end
H A Dchr_compiler_errors.pl61 %% SICStus begin
63 %% SICStus end
H A Dchr_swi.pl79 %% SICStus begin
111 %% SICStus end
/dports/lang/swi-pl/swipl-8.2.3/packages/chr/
H A Dchr_swi_bootstrap.pl109 %% SICStus begin
117 %% SICStus end
161 %% SICStus begin
166 %% SICStus end
216 %% SICStus begin
218 %% SICStus end
H A Dchr_compiler_errors.pl65 %% SICStus begin
67 %% SICStus end
H A Dchr_swi.pl86 %% SICStus begin
118 %% SICStus end
/dports/devel/ppl/ppl-1.2/m4/
H A Dac_check_sicstus_prolog.m41 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 Dsicstus.pl72 /** <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 Dabstract.doc17 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 Dxpce.doc60 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 Dppl_prolog_sysdep.hh26 using namespace Parma_Polyhedra_Library::Interfaces::Prolog::SICStus;
H A Dsicstus_efli.hh39 namespace SICStus { namespace
H A Dsp_pl_check.pl1 /* Main program for the toy PPL/SICStus-Prolog CLP(Q) predicate checker.
H A Dsp_prolog_generated_test.pl1 /* Main program for the PPL/SICStus-Prolog generated tests.
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/
H A DProlog_interface_sysdep.dox133 <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 DChangeLog107 * 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 Dpce_require.pl53 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 Dnamespaces.hh130 namespace SICStus { namespace
/dports/lang/swi-pl/swipl-8.2.3/library/
H A Dfastrw.pl47 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 Dclpfd.doc10 \noindent\textbf{Development of this library has moved to SICStus Prolog.}\\
/dports/lang/swi-pl/swipl-8.2.3/packages/clpqr/
H A Dclpq.pl14 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 Dswi.pl65 /** <module> SWI-Predicates for SICStus
68 PlUnit environment in SICStus. Tested and developed with SICStus Prolog

12345678910