| /dports/lang/gcc10-devel/gcc-10-20211008/libgcc/config/microblaze/ |
| H A D | divsi3.S | 48 SWI r28,r1,0
49 SWI r29,r1,4
50 SWI r30,r1,8
51 SWI r31,r1,12
|
| /dports/lang/gcc9/gcc-9.4.0/libgcc/config/microblaze/ |
| H A D | divsi3.S | 48 SWI r28,r1,0
49 SWI r29,r1,4
50 SWI r30,r1,8
51 SWI r31,r1,12
|
| /dports/lang/gcc9-aux/gcc-9.1.0/libgcc/config/microblaze/ |
| H A D | divsi3.S | 48 SWI r28,r1,0
49 SWI r29,r1,4
50 SWI r30,r1,8
51 SWI r31,r1,12
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/libgcc/config/microblaze/ |
| H A D | divsi3.S | 42 SWI r28,r1,0
43 SWI r29,r1,4
44 SWI r30,r1,8
45 SWI r31,r1,12
|
| /dports/lang/swi-pl/swipl-8.2.3/customize/ |
| H A D | init.pl | 7 This is a sample user-initialisation file for SWI-Prolog. If you wish to
40 % of this is defined in the SWI-Prolog reference manual, section
48 % SWI-Prolog to open a file with it on a specified line-number.
|
| /dports/lang/swi-pl/swipl-8.2.3/man/lib/ |
| H A D | library.doc | 1 \chapter{The SWI-Prolog library} \label{sec:libpl}
3 This chapter documents the SWI-Prolog library. As SWI-Prolog provides
|
| /dports/lang/yap/yap-6.2.2/packages/http/ |
| H A D | README | 1 ---+ SWI-Prolog HTTP support library
3 This directory provides the SWI-Prolog libraries for accessing and
|
| /dports/lang/yap/yap-6.2.2/packages/clpqr/ |
| H A D | configure.in | 17 AC_ERROR("Cannot find SWI-Prolog. SWI-Prolog must be installed first")
|
| /dports/lang/yap/yap-6.2.2/packages/sgml/RDF/ |
| H A D | configure.in | 18 AC_ERROR("Cannot find SWI-Prolog. SWI-Prolog must be installed first")
|
| H A D | pretty_print.pl | 7 WWW: http://www.swi.psy.uva.nl/projects/SWI-Prolog/
10 Copyright (C) 1990-2000 SWI, University of Amsterdam. All rights reserved.
|
| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/SWI/ |
| H A D | pl_clpq.pl | 1 /* Prolog main program for the toy PPL/SWI-Prolog CLP(Q) interpreter.
29 % In SWI-Prolog versions up to and including 5.4.1, the prompt is written
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/xpce/swipl/ |
| H A D | swipl-rc | 1 /* Part of XPCE --- The SWI-Prolog GUI toolkit
39 /** <module> Associate XPCE with SWI-Prolog
41 This file initialises XPCE, the SWI-Prolog native GUI. XPCE is
46 to associate with the SWI-Prolog gui application on Windows and =swipl=
|
| /dports/lang/yap/yap-6.2.2/packages/zlib/ |
| H A D | zlib.doc | 15 \title{SWI-Prolog binding to zlib}
44 standards. The SWI-Prolog binding is a foreign library that creates a
144 {\em make} and {\em make install} sequence. SWI-Prolog should be
145 installed before building this package. If SWI-Prolog is not installed
147 name of the SWI-Prolog executable. Installation is now accomplished
158 \file{$PLBASE} refers to the SWI-Prolog `home-directory'.
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/paxos/ |
| H A D | paxos.doc | 15 \title{Paxos -- a SWI-Prolog replicating key-value store}
25 replicating key-value store of Prolog terms on top of SWI-Prolog
|
| /dports/lang/yap/yap-6.2.2/packages/RDF/ |
| H A D | pretty_print.pl | 7 WWW: http://www.swi.psy.uva.nl/projects/SWI-Prolog/
10 Copyright (C) 1990-2000 SWI, University of Amsterdam. All rights reserved.
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/jpl/docs/ |
| H A D | DevelopmentJPL.md | 6 2. Set-up the source tree of JPL package within the main [SWIPL source tree](https://github.com/SWI…
10 5. Contribute changes to main [packges-jpl](https://github.com/SWI-Prolog/packages-jpl) repository.
|
| H A D | ReleaseNotes701.md | 3 SWI Prolog V7 maintains good source level compatibility with previous major versions,
7 I have (eventually) prototyped a new version of JPL to serve SWI Prolog V7
29 JPL7 respects the prevailing "syntax" option (modern or traditional) set when SWI Prolog was starte…
63 JPL7 supports SWI Prolog's unbounded integers, backwards-compatibly with JPL 3.x's support for boun…
141 JPL's `Query.allSolutions()` and `.nSolutions()` are analogous to SWI Prolog's `findall/3` and `fin…
168 because SWI Prolog V7 compounds may have zero args yet be distinct from similarly named atoms,
186 SWI Prolog has long had strings and blobs as well as classic atoms, and V7 builds on this.
200 SWI Prolog V7 strings are represented in JPL7 as `Atom` instances whose type is `"string"`;
205 This is because SWI Prolog supports user-defined blob types with arbitrary user-defined names,
212 In SWI Prolog V7, lists are not an ADT. Although the empty list is denoted by an out-of-band atom
[all …]
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/swipl-win/ |
| H A D | README.md | 1 # A Qt-based portable console for SWI-Prolog
9 a basic Console, running SWI-Prolog PlEngine in background,
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/http/examples/ |
| H A D | README.md | 9 Run threaded server. Requires SWI-Prolog with thread-support.
17 Demo script to run the SWI-Prolog HTTP server as a Unix
55 different conditions. Requires SWI-Prolog with thread-support.
|
| /dports/lang/swi-pl/swipl-8.2.3/snap/ |
| H A D | snapcraft.yaml | 8 SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a
12 SWI-Prolog additionally offers:
52 source: https://github.com/SWI-Prolog/swipl.git
|
| /dports/security/vuls/vuls-0.13.7/vendor/github.com/fatih/color/vendor/golang.org/x/sys/unix/ |
| H A D | asm_linux_arm.s | 31 SWI $0
49 SWI $0
|
| /dports/databases/prometheus-postgresql-adapter/prometheus-postgresql-adapter-0.6.0/vendor/golang.org/x/sys/unix/ |
| H A D | asm_linux_arm.s | 31 SWI $0
49 SWI $0
|
| /dports/net/gscloud/gscloud-0.11.0/vendor/golang.org/x/sys/unix/ |
| H A D | asm_linux_arm.s | 31 SWI $0
49 SWI $0
|
| /dports/net/gscloud/gscloud-0.11.0/vendor/github.com/gridscale/gsclient-go/v3/vendor/golang.org/x/sys/unix/ |
| H A D | asm_linux_arm.s | 31 SWI $0
49 SWI $0
|
| /dports/net/goreplay/goreplay-1.2.0/vendor/golang.org/x/sys/unix/ |
| H A D | asm_linux_arm.s | 31 SWI $0
49 SWI $0
|