diff --git a/README.md b/README.md index ed9161f5..fbb8bb9a 100644 --- a/README.md +++ b/README.md @@ -93,6 +93,8 @@ strings. ## Installing Scryer Prolog +### Native Install (Unix Only) + First, install the latest stable version of [Rust](https://www.rust-lang.org/en-US/install.html) using your preferred method. Scryer tends to use features from newer Rust @@ -126,6 +128,26 @@ $> cargo run [--release] The optional `--release` flag will perform various optimizations, producing a faster executable. +### Docker Install (All Platforms) + +To automatically download, install, and run Scryer Prolog via Docker, +simply run: +``` +$> docker run -it mthom/scryer-prolog +``` + +To be able to load your program files, bind mount your programs folder +as a Docker volume: + +``` +$> docker run -v /home/user/prolog:/mnt -it mthom/scryer-prolog +?- consult('mnt/program.pl'). +true. +``` + +[Docker](https://hub.docker.com/editions/community/docker-ce-desktop-windows) +is currently the only way to run scryer-prolog on Windows. + ## Tutorial Prolog files are loaded by specifying them as arguments on the command