https://github.com/fabasoad/setup-prolog-action
This GitHub action installs Prolog
https://github.com/fabasoad/setup-prolog-action
github-action github-actions prolog prolog-interpreter
Last synced: about 1 year ago
JSON representation
This GitHub action installs Prolog
- Host: GitHub
- URL: https://github.com/fabasoad/setup-prolog-action
- Owner: fabasoad
- License: mit
- Created: 2024-08-10T06:28:24.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2025-03-23T22:03:08.000Z (about 1 year ago)
- Last Synced: 2025-04-10T01:06:03.486Z (about 1 year ago)
- Topics: github-action, github-actions, prolog, prolog-interpreter
- Language: Shell
- Homepage:
- Size: 24.4 KB
- Stars: 2
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- Funding: .github/FUNDING.yml
- License: LICENSE
- Codeowners: .github/CODEOWNERS
Awesome Lists containing this project
README
# Setup Prolog
[](https://stand-with-ukraine.pp.ua)




This action sets up a [swipl](https://www.swi-prolog.org/) (Prolog programming
language).
## Supported OS
| OS | |
|---------|--------------------|
| Windows | :x: |
| Linux | :white_check_mark: |
| macOS | :white_check_mark: |
## Inputs
```yaml
- uses: fabasoad/setup-prolog-action@v1
with:
# (Optional) If "true" it installs swipl even if it is already installed on
# a runner. Otherwise, skips installation. Defaults to false.
force: "false"
```
## Outputs
| Name | Description | Example |
|-----------|------------------------------------|---------|
| installed | Whether swipl was installed or not | `true` |
## Example usage
1. Create `hello-world.pl` with the following content:
```text
main :- write('Hello World!'), nl.
```
2. Create and run the following workflow:
```yaml
name: Setup Prolog
on: push
jobs:
setup:
name: Setup
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: fabasoad/setup-prolog-action@v1
- name: Run script
run: swipl -s hello-world.pl -g main -t halt
```
3. See the result:
```text
Run swipl -s hello-world.pl -g main -t halt
Hello World!
```