Home
last modified time | relevance | path

Searched refs:SWI (Results 101 – 125 of 1855) sorted by relevance

12345678910>>...75

/dports/lang/yap/yap-6.2.2/packages/sgml/RDF/suite/ok/
H A Dt37.ok2 rdf('JW', works_at, literal('SWI')).
3 rdf('http://www.swi.psy.uva.nl/projects/SWI-Prolog/', 'http://description.org/schema/':'Creator', '…
5 rdf('pl-creator', rdf:subject, 'http://www.swi.psy.uva.nl/projects/SWI-Prolog/').
/dports/lang/swi-pl/swipl-8.2.3/packages/pldoc/server/
H A DREADME1 ---++ SWI-Prolog documentation server
3 Welcome to the SWI-Prolog documentation server. This server provides an
4 integrated search facility to the SWI-Prolog Reference Manual, Package
27 release of SWI-Prolog from http://www.swi-prolog.org. The directory
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/SWI/
H A DREADME.swiprolog13 The SWI-Prolog interface to the Parma Polyhedra Library (PPL) is
15 linked one. Only SWI-Prolog version 5.6.0 and later versions are
22 The `ppl_pl' executable is simply the SWI-Prolog shell with the PPL
32 Loading the SWI-Prolog Interface Dynamically
35 In order to dynamically load the library from SWI-Prolog you should
/dports/lang/swi-pl/swipl-8.2.3/
H A DINSTALL1 Installing SWI-Prolog
4 The guide for installing SWI-Prolog from source is maintained on the
5 SWI-Prolog website at the following location:
H A D.travis.yml1 # Travis-ci specification for SWI-Prolog contributed by Jonathan
2 # Goldfarb. Please note that SWI-Prolog commits are frequent and the
66 # - if [ "$TRAVIS_OS_NAME" == "linux" ] ; then sed -i 's~url = ..~url = https://github.com/SWI-Pro…
67 # - if [ "$TRAVIS_OS_NAME" == "osx" ] ; then sed -i '' 's~url = ..~url = https://github.com/SWI-Pr…
H A DCMAKE.md1 # Building SWI-Prolog using cmake
3 As of version 7.7.20, SWI-Prolog ships with `cmake` `CMakeLists.txt`
19 Building SWI-Prolog requires cmake version 3.5 or later (*). Many Linux
38 git clone https://github.com/SWI-Prolog/swipl-devel.git
50 The typical sequence to build SWI-Prolog and install in `/usr/local` is
92 example, this will build SWI to be installed in `/usr/local/swipl-git`:
100 ## Customizing SWI-Prolog
128 ## Embedding SWI-Prolog in Java, C, C++, etc.
135 - `SWI_HOME_DIR` should point at SWI-Prolog's main directory, e.g.
437 - Problem compiling SWI when another SWI is installed already and you
[all …]
/dports/lang/swi-pl/swipl-8.2.3/packages/jpl/docs/
H A DDeploymentJava.md16 …JDK 11 (OpenJ9), and OracleJDK 13 (Hotspot); see [here](https://github.com/SWI-Prolog/packages-jpl…
26 …latest JAR file from the [packages section in JPL repo](https://github.com/SWI-Prolog/packages-jpl…
46 <!-- JPL bidirectional Prolog-Java: https://github.com/SWI-Prolog/packages-jpl -->
48 <groupId>com.github.SWI-Prolog</groupId>
54 The `V8.3.2` version corresponds to a [tag in the repo](https://github.com/SWI-Prolog/packages-jpl/…
71 <!-- JPL bidirectional Prolog-Java: https://github.com/SWI-Prolog/packages-jpl -->
73 <groupId>com.github.SWI-Prolog</groupId>
84 <name>GitHub SWI-Prolog/packages-jpl Apache Maven Packages</name>
85 <url>https://maven.pkg.github.com/SWI-Prolog/packages-jpl/</url>
/dports/lang/go-devel/go-dragonfly-amd64-bootstrap/src/syscall/
H A Dasm_linux_arm.s22 SWI $0
53 SWI $0
83 SWI $0
115 SWI $0
139 SWI $0
163 SWI $0
H A Dasm_netbsd_arm.s22 SWI $0 // syscall
46 SWI $0 // syscall
71 SWI $0 // syscall
93 SWI $0 // syscall
114 SWI $0 // syscall
/dports/lang/yap/yap-6.2.2/packages/RDF/suite/ok/
H A Dt5.ok2 rdf('__Description1', works_at, literal('SWI')).
3 rdf('http://www.swi.psy.uva.nl/projects/SWI-Prolog/', 'http://description.org/schema/Creator', '__D…
5 …://www.w3.org/1999/02/22-rdf-syntax-ns#subject', 'http://www.swi.psy.uva.nl/projects/SWI-Prolog/').
H A Dt37.ok2 rdf('JW', 'http://description.org/schema/works_at', literal('SWI')).
3 rdf('http://www.swi.psy.uva.nl/projects/SWI-Prolog/', 'http://description.org/schema/Creator', 'JW'…
5 …://www.w3.org/1999/02/22-rdf-syntax-ns#subject', 'http://www.swi.psy.uva.nl/projects/SWI-Prolog/').
/dports/lang/swi-pl/swipl-8.2.3/packages/RDF/suite/ok/
H A Dt5.ok2 rdf('_:Description1', works_at, literal('SWI')).
3 rdf('http://www.swi.psy.uva.nl/projects/SWI-Prolog/', 'http://description.org/schema/Creator', '_:D…
5 …://www.w3.org/1999/02/22-rdf-syntax-ns#subject', 'http://www.swi.psy.uva.nl/projects/SWI-Prolog/').
H A Dt37.ok2 rdf('JW', 'http://description.org/schema/works_at', literal('SWI')).
3 rdf('http://www.swi.psy.uva.nl/projects/SWI-Prolog/', 'http://description.org/schema/Creator', 'JW'…
5 …://www.w3.org/1999/02/22-rdf-syntax-ns#subject', 'http://www.swi.psy.uva.nl/projects/SWI-Prolog/').
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/
H A DCOPYING1 # The license conditions of the SWI-Prolog test suite
3 Most of the SWI-Prolog test suite is licensed under the simplified BSD
7 SWI-Prolog as a system there is no reason to challenge whether or not
/dports/lang/swi-pl/swipl-8.2.3/library/dialect/
H A Dbim.pl12 not in SWI-prolog (or at least not with the same meaning). In case a
13 predicate has a different meaning in SWI-prolog and in proLog by BIM
70 % goal_expansion rules to emulate YAP behaviour in SWI-Prolog. The
79 % please/2 has no meaning in SWI-prolog (can't we map most actions to
H A Dyap.pl58 do not wish to support in SWI-Prolog. Export these predicates.
61 both in YAP and SWI-Prolog and define goal_expansion/2 rules to
100 % goal_expansion rules to emulate YAP behaviour in SWI-Prolog. The
195 % Assert as static predicate. SWI-Prolog provides
221 % Map some YAP flags to SWI-Prolog. Supported flags:
225 % integers. In SWI-Prolog this only affects write routines
255 % Map YAP style-check options onto the SWI-Prolog ones.
/dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/syscall/
H A Dasm_netbsd_arm.s22 SWI $0 // syscall
46 SWI $0 // syscall
71 SWI $0 // syscall
93 SWI $0 // syscall
114 SWI $0 // syscall
H A Dasm_freebsd_arm.s22 SWI $0 // syscall
47 SWI $0 // syscall
73 SWI $0 // syscall
95 SWI $0 // syscall
117 SWI $0 // syscall
H A Dasm_openbsd_arm.s24 SWI $0
49 SWI $0
75 SWI $0
97 SWI $0
119 SWI $0
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/syscall/
H A Dasm_netbsd_arm.s22 SWI $0 // syscall
46 SWI $0 // syscall
71 SWI $0 // syscall
93 SWI $0 // syscall
114 SWI $0 // syscall
/dports/lang/yap/yap-6.2.2/packages/sgml/
H A Dconfigure.in8 [ --with-prolog=PLBINARY use given SWI Prolog binary])
43 AC_ERROR("Cannot find SWI-Prolog plld utility. SWI-Prolog must be installed first")
46 AC_ERROR("Cannot find SWI-Prolog. SWI-Prolog must be installed first")
/dports/games/zangband/zangband/src/
H A Dmain-ros.c763 return SWI(2, 0, SWI_OS_Find, 0, handle); in myFile_Close()
827 e = SWI(2, 4, SWI_OS_File, in file_is_newer()
842 e = SWI(2, 4, SWI_OS_File, in file_is_newer()
5442 SWI(0, 0, SWI_OS_RemoveCursors); in enter_fullscreen_mode()
5735 SWI(0, 1, SWI_OS_ReadC, &c); in Term_xtra_acn_checkFS()
5769 SWI(0, 1, SWI_OS_ReadC, &c); in Term_xtra_acn_eventFS()
5926 SWI(1, 2, SWI_OS_Byte, 122, 0, &v); in Term_xtra_acnFS()
6691 SWI(1, 0, SWI_OS_CLI, in check_playit()
6716 if (!SWI(1, 0, SWI_OS_CLI, buffer)) in play_sample()
6720 SWI(1, 0, SWI_OS_CLI, buffer); in play_sample()
[all …]
/dports/lang/swi-pl/swipl-8.2.3/src/win32/console/doc/
H A Dprogram.tex8 SWI \\
20 used by SWI-Prolog.
28 from SWI-Prolog \file{pl-ntmain.c}):
69 operations. SWI-Prolog's \file{pl-stream.c}/\file{pl-stream.h}
97 SWI-Prolog uses the following schema. The main thread (i.e.\ the
99 (a private message id), which calls the SWI-Prolog signal dispatcher.
107 See SWI-Prolog's \file{pl-ntmain.c} for details.
/dports/lang/yap/yap-6.2.2/packages/sgml/RDF/
H A Drdf_test.pl7 WWW: http://www.swi.psy.uva.nl/projects/SWI-Prolog/
10 Copyright (C) 1990-2000 SWI, University of Amsterdam. All rights reserved.
38 Test file for the SWI-Prolog RDF parser. Toplevel predicates:
/dports/lang/swi-pl/swipl-8.2.3/packages/
H A DREADME1 The package directory contains a subdirectory for each SWI-Prolog
2 package. Without packages, SWI-Prolog is called SWI-Prolog/lite.
7 To build these packages, first build and install SWI-Prolog itself This
9 SWI-Prolog configuration options.
89 SWI-Prolog documentation.

12345678910>>...75