/dports/lang/yap/yap-6.2.2/packages/sgml/RDF/suite/ok/ |
H A D | t37.ok | 2 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 D | README | 1 ---++ 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 D | README.swiprolog | 13 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 D | INSTALL | 1 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.yml | 1 # 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 D | CMAKE.md | 1 # 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 D | DeploymentJava.md | 16 …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 D | asm_linux_arm.s | 22 SWI $0 53 SWI $0 83 SWI $0 115 SWI $0 139 SWI $0 163 SWI $0
|
H A D | asm_netbsd_arm.s | 22 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 D | t5.ok | 2 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 D | t37.ok | 2 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 D | t5.ok | 2 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 D | t37.ok | 2 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 D | COPYING | 1 # 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 D | bim.pl | 12 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 D | yap.pl | 58 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 D | asm_netbsd_arm.s | 22 SWI $0 // syscall 46 SWI $0 // syscall 71 SWI $0 // syscall 93 SWI $0 // syscall 114 SWI $0 // syscall
|
H A D | asm_freebsd_arm.s | 22 SWI $0 // syscall 47 SWI $0 // syscall 73 SWI $0 // syscall 95 SWI $0 // syscall 117 SWI $0 // syscall
|
H A D | asm_openbsd_arm.s | 24 SWI $0 49 SWI $0 75 SWI $0 97 SWI $0 119 SWI $0
|
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/syscall/ |
H A D | asm_netbsd_arm.s | 22 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 D | configure.in | 8 [ --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 D | main-ros.c | 763 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 D | program.tex | 8 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 D | rdf_test.pl | 7 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 D | README | 1 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.
|