Skip to content

koryonik/docker-logtalk3-swi

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Logtalk3 with SWI Prolog Docker container

Docker container to install and run Logtalk with SWI Prolog backend

Retrieve image

You can pull image from docker hub.

$ docker pull koryonik/logtalk-swi

Or you can manually build image by below commands :

$ git clone koryonik/docker-logtalk3-swi
$ cd docker-logtalk3-swi
$ ./build.sh

Run interactive

$ docker run --rm -i -t koryonik/logtalk-swi

Logtalk 3.2.1
...
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3)
...
For help, use ?- help(Topic). or ?- apropos(Word).

?-

Run locale sources

$ cd my/source
$ docker run --rm -i -t -v $(pwd):/source koryonik/logtalk-swi -f hello_world.lgt

Hello World !

Enter container for specific usages

$ docker run --rm -i -t -v $(pwd):/source --entrypoint bash koryonik/logtalk-swi
root@2c5f42d4aae5:/source# swilgt

Logtalk 3.2.1
?-

About

Docker container to install and run Logtalk with SWI backend

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages