swipl-wasm

(★ 80)

Run SWI-Prolog in your browser using WebAssemply

Owner Repos

packages-jpl ★ 60

JPL: The Prolog <-> Java interface

Java
pengines ★ 59

Pengine and Prolog scratchpad

HTML
packages-swipy ★ 52

Python interface for SWI-Prolog

C
sCASP ★ 42

Top-down interpreter for ASP programs with Constraints

Prolog
packages-cpp ★ 39

The SWI-Prolog C++ interface

C++
packages-semweb ★ 36

The SWI-Prolog RDF store

Prolog

File Explorer

ZIP Download
  • README.md

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Link
Example

Command Glossary

Commands referenced in this DOCs, explained below.

🔍

git checkout

View Details ▼

Checkout a branch or paths to the working tree.

git checkout -b {{branch_name}}

Create and switch to a new branch:

git checkout -b {{branch_name}} {{reference}}

Create and switch to a new branch based on a specific reference (branch, remote/branch, tag are examples of valid references):

git checkout {{branch_name}}

Switch to an existing local branch:

🔍

git clone

View Details ▼

Clone an existing repository.

git clone {{remote_repository_location}} {{path/to/directory}}

Clone an existing repository into a new directory (the default directory is the repository name):

git clone --recursive {{remote_repository_location}}

Clone an existing repository and its submodules:

git clone {{[-n|--no-checkout]}} {{remote_repository_location}}

Clone only the `.git` directory of an existing repository:

🔍

git fetch

View Details ▼

Download objects and refs from a remote repository.

git fetch

Fetch the latest changes from the default remote upstream repository (if set):

git fetch {{remote_name}}

Fetch new branches from a specific remote upstream repository:

git fetch --all

Fetch the latest changes from all remote upstream repositories:

🔍

tar

View Details ▼

Archiving utility.
Often combined with a compression method, such as `gzip` or `bzip2`.

tar cf {{path/to/target.tar}} {{path/to/file1 path/to/file2 ...}}

[c]reate an archive and write it to a [f]ile:

tar czf {{path/to/target.tar.gz}} {{path/to/file1 path/to/file2 ...}}

[c]reate a g[z]ipped archive and write it to a [f]ile:

tar czf {{path/to/target.tar.gz}} {{[-C|--directory]}} {{path/to/directory}} .

[c]reate a g[z]ipped (compressed) archive from a directory using relative paths:

// repository documentation