SWI-Prolog -- Manual

Did you know ...

Search Documentation:

Pengine references

HOME
DOWNLOAD
DOCUMENTATION
- Manual
- Packages
- FAQ
- Command line
- PlDoc
- Bluffers▶
- License
- Publications
- Rev 7 Extensions
TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
  - ClioPatria
  - RDF namespaces
- Graphics▶
  - XPCE
  - GUI options
- Machine learning▶
  - Probabilistic Logic Programming
- External collections▶
  - Meta level tutorials
- For packagers▶
  - Linux packages
COMMUNITY
USERS
WIKI
- Login
- View changes
- Sandbox
- Wiki help
- All tags

Documentation
- Reference manual
- Packages
  - Pengines: Web Logic Programming Made Easy
    - An overview of Pengines

1.1 Pengine references

http://www.swi-prolog.org/pldoc/man?section=threads
http://www.swi-prolog.org/pldoc/package/http.html
D. Brand and P. Zafiropulo. On communicating finite-state machines. Journal of the ACM, 30(2):323-342, 1983.
http://www.swi-prolog.org/pldoc/package/semweb.html
http://cliopatria.swi-prolog.org/home
http://www.swi-prolog.org/pldoc/doc/home/vnc/prolog/lib/swipl/library/sandbox.pl

Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in|Report abuse

Tags:

doc-needs-help

LogicalCaptain said (2020-01-26T10:09:09):

0

The link = http://www.swi-prolog.org/pldoc/doc/home/vnc/prolog/lib/swipl/library/sandbox.pl=

leads to an error message

"You don't have permission to access /home/vnc/prolog/lib/swipl/library/sandbox.pl on this server"

I suppose it is a demo sandbox, like SWISH.