kibi-swipl-linux-x64-gnu 1.0.0

package/README.md

@@ -0,0 +1,29 @@
+# kibi-swipl-linux-x64-gnu
+
+Relocatable SWI-Prolog 10.0.2 runtime for [Kibi](https://github.com/Looted/kibi) on Linux x64 (glibc 2.28 or newer).
+
+Do not depend on this package directly. `kibi-swipl` lists it as an optional
+dependency, and `kibi-cli` and `kibi-runtime` resolve it through `kibi-swipl`.
+The package manager installs it only on matching `os`, `cpu`, and `libc` values.
+
+If `kibi doctor` reports that the bundled runtime is missing on this platform,
+install it explicitly with `npm install --save-dev kibi-swipl-linux-x64-gnu`. Common
+causes are `--no-optional` / `--omit=optional` installs and pnpm
+`supportedArchitectures` settings that exclude this platform.
+
+## Contents
+
+| Path | Purpose |
+| --- | --- |
+| `build-manifest.json` | Pipeline build manifest: SWI-Prolog version, `bin/swipl` SHA-256, relative SWI home, provenance |
+| `bin/swipl` | SWI-Prolog executable |
+| `lib/swipl/` | `SWI_HOME_DIR` for the bundled build (`lib/vendor/` holds relocated native dependencies) |
+| `licenses/` | SWI-Prolog, OpenSSL, PCRE2, and zlib licence texts |
+
+The binaries are not committed to git. The release workflow copies them from the
+`swipl-<target>` pipeline archive and verifies the archive and binary checksums
+before `npm pack`. `build-manifest.template.json` documents the manifest shape;
+the real `build-manifest.json` is the pipeline's own file. The resolver refuses a
+bundle whose manifest is malformed or whose binary checksum does not match.
+
+The package has no install scripts.

package/build-manifest.json

@@ -0,0 +1,70 @@
+{
+  "schema": "kibi.swipl-build.v1",
+  "target": "linux-x64-gnu",
+  "swiplVersion": "10.0.2",
+  "sourceArchiveSha256": "e42cc098f7b8a6051c4f79a99b55162d467098aba60f69649bdc7583f0734b57",
+  "dependencies": {
+    "openssl": {
+      "version": "3.5.9",
+      "sha256": "603f5602e2eef00d77fbd429d34dcd5822bb301757a1bc9cdb24c670f1eb859a",
+      "url": "https://github.com/openssl/openssl/releases/download/openssl-3.5.9/openssl-3.5.9.tar.gz"
+    },
+    "pcre2": {
+      "version": "10.47",
+      "sha256": "c08ae2388ef333e8403e670ad70c0a11f1eed021fd88308d7e02f596fcd9dc16",
+      "url": "https://github.com/PCRE2Project/pcre2/releases/download/pcre2-10.47/pcre2-10.47.tar.gz"
+    },
+    "zlib": {
+      "version": "1.3.2",
+      "sha256": "bb329a0a2cd0274d05519d61c667c062e06990d72e125ee2dfa8de64f0119d16",
+      "url": "https://github.com/madler/zlib/releases/download/v1.3.2/zlib-1.3.2.tar.gz"
+    }
+  },
+  "sourcePatches": [
+    {
+      "path": "scripts/patches/swipl-10.0.2-darwin-mtime.patch",
+      "sha256": "d3eb94b758e787e0a4ace7e6a22ea7de691ae6910e105359c68b28a73e017d38",
+      "files": {
+        "cmake/Config.cmake": {
+          "original": "3480a0fe9646e0acc516a453cd9705d8d8beff0413b7f862e8159dcf72afe920",
+          "patched": "5bfae0a532120982ff720815cc8b98ba19c71693183d41f483f46cc26ee2555f"
+        },
+        "src/config.h.cmake": {
+          "original": "13abde45cf3d09ec7ff3fcbaa31d970ac15deea551a9941d5e98123b8e067ecd",
+          "patched": "88062ce73483fffb8a7921432161847a6c60477e91b78a2504d0cfd9598e6485"
+        },
+        "src/os/pl-files.c": {
+          "original": "c7662100241b618c90b9f123cb643a42da1406f888005a2fd9acb1d73b920bda",
+          "patched": "04549adb10196a3b43bf605fa41f74dbb232afd90a3167016643308e9814f488"
+        }
+      }
+    }
+  ],
+  "sourceCommit": "6df04ada3122ecfd28ff3737e851a259b9b0a224",
+  "workflowRunId": "36898550736",
+  "binary": {
+    "path": "bin/swipl",
+    "sha256": "be28ad8753a91e5492906149ed8ac01422e67aea78027a16efb7e78e940312c6"
+  },
+  "home": "lib/swipl",
+  "requiredLibraries": [
+    "semweb/rdf_db",
+    "semweb/rdf_persistency",
+    "semweb/sparql_client",
+    "pcre",
+    "crypto",
+    "sha",
+    "http/json",
+    "http/json_convert",
+    "chr",
+    "clpfd",
+    "thread",
+    "persistency",
+    "filesex",
+    "readutil",
+    "date",
+    "aggregate",
+    "solution_sequences",
+    "prolog_coverage"
+  ]
+}

package/lib/cmake/swipl/SWIPLConfig.cmake

@@ -0,0 +1,21 @@
+
+####### Expanded from @PACKAGE_INIT@ by configure_package_config_file() #######
+####### Any changes to this file will be overwritten by the next CMake run ####
+####### The input file was SWIPLConfig.cmake.in                            ########
+
+get_filename_component(PACKAGE_PREFIX_DIR "${CMAKE_CURRENT_LIST_DIR}/../../../" ABSOLUTE)
+
+####################################################################################
+
+# Version information
+set(SWIPL_VERSION_COUNT 3)
+set(SWIPL_VERSION_MAJOR 10)
+set(SWIPL_VERSION_MINOR 0)
+set(SWIPL_VERSION_PATCH 2)
+set(SWIPL_VERSION_STRING 10.0.2)
+
+# Location suitable for passing to PL_initialise() as argv[0]
+set(SWIPL_EXECUTABLE "${PACKAGE_PREFIX_DIR}/bin/swipl")
+
+# Exported targets
+include("${CMAKE_CURRENT_LIST_DIR}/SWIPLTargets.cmake")

package/lib/cmake/swipl/SWIPLConfigVersion.cmake

@@ -0,0 +1,65 @@
+# This is a basic version file for the Config-mode of find_package().
+# It is used by write_basic_package_version_file() as input file for configure_file()
+# to create a version-file which can be installed along a config.cmake file.
+#
+# The created file sets PACKAGE_VERSION_EXACT if the current version string and
+# the requested version string are exactly the same and it sets
+# PACKAGE_VERSION_COMPATIBLE if the current version is >= requested version,
+# but only if the requested major version is the same as the current one.
+# The variable CVF_VERSION must be set before calling configure_file().
+
+
+set(PACKAGE_VERSION "10.0.2")
+
+if(PACKAGE_VERSION VERSION_LESS PACKAGE_FIND_VERSION)
+  set(PACKAGE_VERSION_COMPATIBLE FALSE)
+else()
+
+  if("10.0.2" MATCHES "^([0-9]+)\\.")
+    set(CVF_VERSION_MAJOR "${CMAKE_MATCH_1}")
+    if(NOT CVF_VERSION_MAJOR VERSION_EQUAL 0)
+      string(REGEX REPLACE "^0+" "" CVF_VERSION_MAJOR "${CVF_VERSION_MAJOR}")
+    endif()
+  else()
+    set(CVF_VERSION_MAJOR "10.0.2")
+  endif()
+
+  if(PACKAGE_FIND_VERSION_RANGE)
+    # both endpoints of the range must have the expected major version
+    math (EXPR CVF_VERSION_MAJOR_NEXT "${CVF_VERSION_MAJOR} + 1")
+    if (NOT PACKAGE_FIND_VERSION_MIN_MAJOR STREQUAL CVF_VERSION_MAJOR
+        OR ((PACKAGE_FIND_VERSION_RANGE_MAX STREQUAL "INCLUDE" AND NOT PACKAGE_FIND_VERSION_MAX_MAJOR STREQUAL CVF_VERSION_MAJOR)
+          OR (PACKAGE_FIND_VERSION_RANGE_MAX STREQUAL "EXCLUDE" AND NOT PACKAGE_FIND_VERSION_MAX VERSION_LESS_EQUAL CVF_VERSION_MAJOR_NEXT)))
+      set(PACKAGE_VERSION_COMPATIBLE FALSE)
+    elseif(PACKAGE_FIND_VERSION_MIN_MAJOR STREQUAL CVF_VERSION_MAJOR
+        AND ((PACKAGE_FIND_VERSION_RANGE_MAX STREQUAL "INCLUDE" AND PACKAGE_VERSION VERSION_LESS_EQUAL PACKAGE_FIND_VERSION_MAX)
+        OR (PACKAGE_FIND_VERSION_RANGE_MAX STREQUAL "EXCLUDE" AND PACKAGE_VERSION VERSION_LESS PACKAGE_FIND_VERSION_MAX)))
+      set(PACKAGE_VERSION_COMPATIBLE TRUE)
+    else()
+      set(PACKAGE_VERSION_COMPATIBLE FALSE)
+    endif()
+  else()
+    if(PACKAGE_FIND_VERSION_MAJOR STREQUAL CVF_VERSION_MAJOR)
+      set(PACKAGE_VERSION_COMPATIBLE TRUE)
+    else()
+      set(PACKAGE_VERSION_COMPATIBLE FALSE)
+    endif()
+
+    if(PACKAGE_FIND_VERSION STREQUAL PACKAGE_VERSION)
+      set(PACKAGE_VERSION_EXACT TRUE)
+    endif()
+  endif()
+endif()
+
+
+# if the installed or the using project don't have CMAKE_SIZEOF_VOID_P set, ignore it:
+if("${CMAKE_SIZEOF_VOID_P}" STREQUAL "" OR "8" STREQUAL "")
+  return()
+endif()
+
+# check that the installed version has the same 32/64bit-ness as the one which is currently searching:
+if(NOT CMAKE_SIZEOF_VOID_P STREQUAL "8")
+  math(EXPR installedBits "8 * 8")
+  set(PACKAGE_VERSION "${PACKAGE_VERSION} (${installedBits}bit)")
+  set(PACKAGE_VERSION_UNSUITABLE TRUE)
+endif()

package/lib/cmake/swipl/SWIPLTargets-release.cmake

@@ -0,0 +1,28 @@
+#----------------------------------------------------------------
+# Generated CMake target import file for configuration "Release".
+#----------------------------------------------------------------
+
+# Commands may need to know the format version.
+set(CMAKE_IMPORT_FILE_VERSION 1)
+
+# Import target "swipl::swipl" for configuration "Release"
+set_property(TARGET swipl::swipl APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(swipl::swipl PROPERTIES
+  IMPORTED_LOCATION_RELEASE "/__w/_temp/swipl-build/linux-x64-gnu/original-install/bin/swipl"
+  )
+
+list(APPEND _cmake_import_check_targets swipl::swipl )
+list(APPEND _cmake_import_check_files_for_swipl::swipl "/__w/_temp/swipl-build/linux-x64-gnu/original-install/bin/swipl" )
+
+# Import target "swipl::libswipl" for configuration "Release"
+set_property(TARGET swipl::libswipl APPEND PROPERTY IMPORTED_CONFIGURATIONS RELEASE)
+set_target_properties(swipl::libswipl PROPERTIES
+  IMPORTED_LOCATION_RELEASE "${_IMPORT_PREFIX}/lib/swipl/lib/x86_64-linux/libswipl.so.10.0.2"
+  IMPORTED_SONAME_RELEASE "libswipl.so.10"
+  )
+
+list(APPEND _cmake_import_check_targets swipl::libswipl )
+list(APPEND _cmake_import_check_files_for_swipl::libswipl "${_IMPORT_PREFIX}/lib/swipl/lib/x86_64-linux/libswipl.so.10.0.2" )
+
+# Commands beyond this point should not need to know the version.
+set(CMAKE_IMPORT_FILE_VERSION)

package/lib/cmake/swipl/SWIPLTargets.cmake

@@ -0,0 +1,109 @@
+# Generated by CMake
+
+if("${CMAKE_MAJOR_VERSION}.${CMAKE_MINOR_VERSION}" LESS 2.8)
+   message(FATAL_ERROR "CMake >= 2.8.3 required")
+endif()
+if(CMAKE_VERSION VERSION_LESS "2.8.3")
+   message(FATAL_ERROR "CMake >= 2.8.3 required")
+endif()
+cmake_policy(PUSH)
+cmake_policy(VERSION 2.8.3...3.29)
+#----------------------------------------------------------------
+# Generated CMake target import file.
+#----------------------------------------------------------------
+
+# Commands may need to know the format version.
+set(CMAKE_IMPORT_FILE_VERSION 1)
+
+# Protect against multiple inclusion, which would fail when already imported targets are added once more.
+set(_cmake_targets_defined "")
+set(_cmake_targets_not_defined "")
+set(_cmake_expected_targets "")
+foreach(_cmake_expected_target IN ITEMS swipl::swipl swipl::libswipl)
+  list(APPEND _cmake_expected_targets "${_cmake_expected_target}")
+  if(TARGET "${_cmake_expected_target}")
+    list(APPEND _cmake_targets_defined "${_cmake_expected_target}")
+  else()
+    list(APPEND _cmake_targets_not_defined "${_cmake_expected_target}")
+  endif()
+endforeach()
+unset(_cmake_expected_target)
+if(_cmake_targets_defined STREQUAL _cmake_expected_targets)
+  unset(_cmake_targets_defined)
+  unset(_cmake_targets_not_defined)
+  unset(_cmake_expected_targets)
+  unset(CMAKE_IMPORT_FILE_VERSION)
+  cmake_policy(POP)
+  return()
+endif()
+if(NOT _cmake_targets_defined STREQUAL "")
+  string(REPLACE ";" ", " _cmake_targets_defined_text "${_cmake_targets_defined}")
+  string(REPLACE ";" ", " _cmake_targets_not_defined_text "${_cmake_targets_not_defined}")
+  message(FATAL_ERROR "Some (but not all) targets in this export set were already defined.\nTargets Defined: ${_cmake_targets_defined_text}\nTargets not yet defined: ${_cmake_targets_not_defined_text}\n")
+endif()
+unset(_cmake_targets_defined)
+unset(_cmake_targets_not_defined)
+unset(_cmake_expected_targets)
+
+
+# Compute the installation prefix relative to this file.
+get_filename_component(_IMPORT_PREFIX "${CMAKE_CURRENT_LIST_FILE}" PATH)
+get_filename_component(_IMPORT_PREFIX "${_IMPORT_PREFIX}" PATH)
+get_filename_component(_IMPORT_PREFIX "${_IMPORT_PREFIX}" PATH)
+get_filename_component(_IMPORT_PREFIX "${_IMPORT_PREFIX}" PATH)
+if(_IMPORT_PREFIX STREQUAL "/")
+  set(_IMPORT_PREFIX "")
+endif()
+
+# Create imported target swipl::swipl
+add_executable(swipl::swipl IMPORTED)
+
+# Create imported target swipl::libswipl
+add_library(swipl::libswipl SHARED IMPORTED)
+
+set_target_properties(swipl::libswipl PROPERTIES
+  INTERFACE_INCLUDE_DIRECTORIES "${_IMPORT_PREFIX}/lib/swipl/include"
+)
+
+# Load information for each installed configuration.
+file(GLOB _cmake_config_files "${CMAKE_CURRENT_LIST_DIR}/SWIPLTargets-*.cmake")
+foreach(_cmake_config_file IN LISTS _cmake_config_files)
+  include("${_cmake_config_file}")
+endforeach()
+unset(_cmake_config_file)
+unset(_cmake_config_files)
+
+# Cleanup temporary variables.
+set(_IMPORT_PREFIX)
+
+# Loop over all imported files and verify that they actually exist
+foreach(_cmake_target IN LISTS _cmake_import_check_targets)
+  if(CMAKE_VERSION VERSION_LESS "3.28"
+      OR NOT DEFINED _cmake_import_check_xcframework_for_${_cmake_target}
+      OR NOT IS_DIRECTORY "${_cmake_import_check_xcframework_for_${_cmake_target}}")
+    foreach(_cmake_file IN LISTS "_cmake_import_check_files_for_${_cmake_target}")
+      if(NOT EXISTS "${_cmake_file}")
+        message(FATAL_ERROR "The imported target \"${_cmake_target}\" references the file
+   \"${_cmake_file}\"
+but this file does not exist.  Possible reasons include:
+* The file was deleted, renamed, or moved to another location.
+* An install or uninstall procedure did not complete successfully.
+* The installation package was faulty and contained
+   \"${CMAKE_CURRENT_LIST_FILE}\"
+but not all the files it references.
+")
+      endif()
+    endforeach()
+  endif()
+  unset(_cmake_file)
+  unset("_cmake_import_check_files_for_${_cmake_target}")
+endforeach()
+unset(_cmake_target)
+unset(_cmake_import_check_targets)
+
+# This file does not depend on other imported targets which have
+# been exported from the same project but in a separate export set.
+
+# Commands beyond this point should not need to know the version.
+set(CMAKE_IMPORT_FILE_VERSION)
+cmake_policy(POP)

package/lib/swipl/ABI

@@ -0,0 +1 @@
+swipl-abi-2-68-42105b0d-a5b83da7

package/lib/swipl/LICENSE

@@ -0,0 +1,41 @@
+# SWI-Prolog copyright status
+
+SWI-Prolog is covered by the Simplified BSD license:
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+
+## Possible additional license requirements
+
+Note that SWI-Prolog may be linked with libraries covered by more
+restrictive license and therefore the above conditions may not suffice
+for a particular version of SWI-Prolog or a program loaded into
+SWI-Prolog. Run the following predicate to find which components with
+additional requirements are loaded into a particular version.
+
+  ```
+  ?- license.
+  ```
+

package/lib/swipl/README.md

@@ -0,0 +1,116 @@
+[![CI](https://github.com/SWI-Prolog/swipl/actions/workflows/ci.yml/badge.svg?branch=master)](https://github.com/SWI-Prolog/swipl/actions/workflows/ci.yml)
+
+# SWI-Prolog: A comprehensive Prolog implementation
+
+SWI-Prolog  is an  open source  (BSD-2) implementation  of the  Prolog
+language with many extensions. It is implemented in C (version 11) and
+Prolog and  is available  for many  platforms (Linux,  practically any
+POSIX like system, MacOS, Windows). All CPUs supported by Debian Linux
+are supported.   For your  browser or  Node project,  there is  a WASM
+based  [NPM  package](https://www.npmjs.com/package/swipl-wasm).   See
+the                                                        [JavaScript
+API](https://www.swi-prolog.org/pldoc/man?section=wasm-version)    for
+details.
+
+(SWI-)Prolog is a versatile language. It is being used for business rule
+validation, natural language processing, software verification, software
+refactoring, network configuration,  security,   robotics,  reasoning in
+legal and medical domains,  graph   processing,  machine  learning (ILP,
+PLP), linked data (RDF), mathematical proofs, and much more.
+
+If you are interested in commercial   assistence to make SWI-Prolog work
+in   your   organization,   please     contact   [SWI-Prolog   Solutions
+b.v.](https://swi-prolog.com/).
+
+## Forking, cloning and submitting patches
+
+This           repository           uses             many           [Git
+submodules](https://git-scm.com/book/en/v2/Git-Tools-Submodules).   This
+causes the common issue that __fork   and clone doesn't work__. Instead,
+_clone_  from  https://github.com/SWI-Prolog/swipl-devel.git   and  then
+associate your clone with your  _fork_   (replace  `me` with your github
+user name).
+
+    git clone --recurse-submodules https://github.com/SWI-Prolog/swipl-devel.git
+    cd swipl-devel
+    git remote add myfork git@github.com:me/swipl-devel.git
+
+See [How to submit a patch](https://www.swi-prolog.org/howto/SubmitPatch.html)
+for details.
+
+See   also   the   discussion    at     [Being    friendly    to   quick
+contributions](https://swi-prolog.discourse.group/t/being-friendly-to-quick-contributions/493/6)
+
+
+## Building
+
+See
+[CMAKE.md](https://github.com/SWI-Prolog/swipl-devel/blob/master/CMAKE.md)
+and [Build SWI-Prolog from source](https://www.swi-prolog.org/build/)
+
+
+## Web home
+
+Please   find   the   up-to-date   information     on    SWI-Prolog   at
+https://www.swi-prolog.org.
+
+## SWI-Prolog tools
+
+You can use SWI-Prolog simply at the console of your favourite OS with
+any editor to manage the source  code.  For a better experience, there
+are several options:
+
+  - Comprehensive builds include XPCE, SWI-Prolog's native GUI toolkit.
+    This provides the `swipl-win` executable that opens a Prolog terminal.
+	Additional tools include PceEmacs, an Emacs clone with a rich
+	Prolog mode, a source level debugger, profiling tools and much more.
+    XPCE is included in the default binaries for Windows, MacOS and for
+	Linux as [flatpak](https://flathub.org/en/apps/org.swi_prolog.swipl).
+  - Some editors come with a rich mode for (SWI-)Prolog.   Notably
+    GNU-Emacs provides [sweep](https://eshelyaron.com/sweep.html)
+  - Use one of the online versions described below
+
+
+## Trying SWI-Prolog online
+
+An    online    version    of     SWI-Prolog      is     provided     by
+[SWISH](https://swish.swi-prolog.org). Note that this version is subject
+to sandbox restrictions and does not provide the features most valued in
+SWI-Prolog such as its rich set of interfaces, multi-threading, modules,
+etc.
+
+Alternatively, there is  a WASM (_Web Assembly_)  version available as
+[SWI-Tinker](https://wasm.swi-prolog.org/wasm/tinker).   This  version
+has no sandbox  restrictions.  The WASM build  allows interaction with
+the  browser's  DOM, which  allows  you  to build  interactive  Prolog
+applications  running  _inside_  the   browser.   See  also  our  [NPM
+package](https://www.npmjs.com/package/swipl-wasm).
+
+
+## Forum/mailing list
+
+Our       forum       is       hosted        at       a       [Discourse
+site](https://swi-prolog.discourse.group/). The forum provides   a  mail
+list interface.
+
+
+## Documentation
+
+Documentation is available from several locations and in several formats.
+
+  - Several tutorials can be accessed from the __Tutorials__ menu on
+    the [home page](https://www.swi-prolog.org)
+
+  - A HTML version of the documentation is in the `doc/Manual` directory
+    of the installation.  Note that some packagers put this documentation
+    elsewhere or require it to be installed separately.
+
+    These docs can be searched using `?- apropos("query").`.  Help on
+    a predicate can be disaplayed using e.g., `?- help(append/3).`
+
+  - A PDF version of the documentation is available from the [download
+    page](https://www.swi-prolog.org/download/devel)
+
+You  can  also  install  the  website    locally  to  use  its  complete
+functionality   if   you   are    offline.     It    is   available   at
+https://github.com/SWI-Prolog/plweb.

package/lib/swipl/app/README.md

@@ -0,0 +1,25 @@
+# SWI-Prolog cli applications
+
+This directory is accessible using the file_search_path/2 alias `app`.
+Prolog files in this directory can be started using
+
+    swipl name [arg ...]
+
+where _name_ is the name of the script in this file without extension.
+The script file  must define initialization/2 using  the class `main`,
+e.g.:
+
+    :- initialization(mystart, main).
+
+Here, mystart/0 typically uses library(main), resulting in
+
+    :- use_module(library(main)).
+	:- initialization(main, main).
+
+	main(Argv) :-
+	argv_options(Argv, Positional, Options),
+		...
+
+Option typing and  help can be specified  using opt_type/3, opt_help/3
+and opt_meta/2.   See library(main) or  one of the examples  below for
+details.

package/lib/swipl/app/app.pl

@@ -0,0 +1,87 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        jan@swi-prolog.org
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2023-2025, SWI-Prolog Solutions b.v.
+    All rights reserved.
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+*/
+
+:- module(app_app, []).
+
+:- use_module(library(main)).
+:- use_module(library(ansi_term)).
+:- use_module(library(apply)).
+:- use_module(library(lists)).
+:- use_module(library(option)).
+:- use_module(library(pairs)).
+
+:- initialization(main, main).
+
+main(Argv) :-
+    argv_options(Argv, Pos, Options),
+    app(Pos, Options),
+    !.
+main(_) :-
+    argv_usage(debug).
+
+opt_type(long, long, boolean).
+opt_type(l,    long, boolean).
+opt_help(long, "Long format").
+opt_help(help(usage), " list -l]").
+
+app([list], Options) :-
+    findall(Name-File, current_app(Name, File), Apps),
+    keysort(Apps, Sorted),
+    group_pairs_by_key(Sorted, Keyed),
+    maplist(list_app(Options), Keyed).
+
+list_app(Options, App-[File|Masked]) :-
+    option(long(true), Options),
+    !,
+    ansi_format(bold, '~w', [App]),
+    ansi_format(code, '~t~20|~w~n', [File]),
+    forall(member(M, Masked),
+           ansi_format(warning, '~t~20|~w (masked)~n', [M])).
+list_app(_Options, App-[_]) :-
+    format('~w~n', [App]).
+
+current_app(Name, File) :-
+    absolute_file_name(app(.), Dir,
+                       [ file_type(directory),
+                         solutions(all)
+                       ]),
+    findall(Ext, prolog_file_type(Ext, prolog), Exts),
+    atomics_to_string(Exts,",",ExtPattern),
+    format(string(Pattern), '~w/*.{~w}', [Dir, ExtPattern]),
+    expand_file_name(Pattern, Files),
+    member(File, Files),
+    file_base_name(File, Base),
+    file_name_extension(Name, _, Base).
+
+