| Did you know ... | Search Documentation: |
 | Title for pldoc(dir_index) |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
The SWI-Prolog web-site
This repository contains the software of http://www.swi-prolog.org. The (wiki) content of the website and required add-ons are stored in git submodules. These must be installed separately using the command below. To install the site from scratch locally, perform the following commands:
- Downloading the site
% git clone https://github.com/SWI-Prolog/plweb.git % cd plweb % git submodule update --init
- For a full installation, install the dynamic data. The .db
files must be writeable by the server process.
<dl> <dt>annotations.db</dt> <dd>Comments on web pages</dd> <dt>tags.db</dt> <dd>Tags on web pages</dd> <dt>openid.db</dt> <dd>User administration</dd> <dt>packs.db</dt> <dd>Known packages</dd> <dt>post.db</dt> <dd>News posts</dd> <dt>reviews.db</dt> <dd>Pack reviews</dd> <dt>download</dt> <dd>Points to the download directory</dd> </dl>
Install the download descriptions by running the script
install-custom - Create directories for logging and pack mirrors. These
directories must be writeable by the server and new directories
created below must have the same permissions:
% mkdir log pack % chgrp www-data log pack % chmod g+ws log pack
Running the site
After installation, the website may be started locally using the commands below. After that, you have access to the same content as available from https://www.swi-prolog.org, except for the download section of the website.
% swipl load.pl -p 8080 -i
Running as daemon using Ubuntu upstart
A good way to run the website on a Linux server is by creating a Linux
container using lxc. After installing the server, you can enable it to
start at boot time by copying upstart/swi-prolog.conf to `/etc/init`
after editing it to suit your configuration requirements. By default,
the server runs as user www-data, group www-data as specified in the
above configuration file.
Make sure the following components are writeable to the server process. For files, this means mode 664, group www-data. For directories, this means mode 2775, group www-data.
- log Write httpd.log and pack-warnings.log
- pack Mirrors known packages. Will be populated as the server is started.
- www: subdirectories and .txt files
Needs to make the wiki pages editable. It is also wise to do this in
a git branch. From the www directory, do:
% git checkout master % git pull % git checkout -b wiki % find . -type d | xargs chmod 2775 % find . -name '*.txt' | xargs chmod 664 % chgrp -W www-data .
- *.db
Issues with the locally running site
- There is no download section (but that can't be a big issue)
- If you want to use the login facility to play with the
interactive aspects of the site, you need to
- Get a reCAPTCHA key-pair from Google
- Run (from a started server)
?- set_setting(recaptcha:public_key, 'public key goes here'). ?- set_setting(recaptcha:private_key, 'private key goes here'). ?- save_settings.
- Run the server from a port that is accessible from the public internet.
- Use an OpenID provider that is not too picky for your site. In our experience, Google is less picky than Yahoo.
Prolog files
annotation.pl -- Annotation | ||
|---|---|---|
| api.pl | ||
| autocomplete.pl -- SWI-Prolog website autocompletion support | ||
| blog.pl | ||
| changelog.pl | ||
| customise.pl | ||
| daemon.pl | ||
| did_you_know.pl -- Interesting snippets about SWI-Prolog | ||
| did_you_know/2 | Generate a DYK fragment. | |
| did_you_know_script/3 | Emit script to fetch DYK through AJAX. | |
| download.pl | ||
| examples.pl | ||
| fastly.pl -- Purge pages on our CDN | ||
| footer.pl -- Footer | ||
| forum.pl | ||
| generics.pl -- Generics | ||
| git_html.pl | ||
| gitweb.pl -- Provide gitweb support | ||
| holidays.pl | ||
| todays_holiday/1 | succeeds if Holiday is 'todays holiday'. | |
| http_cgi.pl -- Run CGI scripts from the SWI-Prolog web-server | ||
| load.pl | ||
| make.pl | ||
| markdown.pl -- Parse markdown documents into a DOM | ||
| markitup.pl -- Wrapper for markItUp ajax markup editor | ||
| messages.pl -- Run goals that produce messages | ||
| news.pl -- News on the SWI-Prolog Web site | ||
| notify.pl -- Send notications by E-mail | ||
| msg_user/3 | Plain-text reference to a user with hyperlink. | |
| notify/2 | Notify watching users by mail of the event on Object, described by Term. | |
| object_support.pl -- Object support | ||
| openid.pl -- Handle users of the SWI-Prolog website | ||
| create_user/1 | Create a new user for the given Google Profile. | |
| login_existing_user/1 | True if the user is know to us and thus we can perform the login without further interaction. | |
| authenticate/3 | Get authentication for editing wiki pages. | |
| current_user/2 | | |
| grant/2 | Grant/revoke User (a UUID) the right to access Token. | |
| login_link/3 | Create a link to login, which returns to the current page. | |
| redirect_master/1 | Redirect a request to the master server, so we do not have to deal with multiple versions of the database files. | |
| revoke/2 | Grant/revoke User (a UUID) the right to access Token. | |
| site_user/2 | Demand the user to be logged on and, if this is the first logon, verify the user and create a profile. | |
| site_user_logged_in/1 | True when User is logged on. | |
| user_profile_link/3 | Create a link to the profile of a user. | |
| xrds_specified_location/2 | Hacks to deal with broken Yadis support. | |
| pack.pl | ||
| current_pack/2 | True when Pack is a pack that satisfies Filter. | |
| hash_file_url/2 | True when SHA1 was installed using GIT from GitURL. | |
| hash_git_url/2 | True when SHA1 was installed using GIT from GitURL. | |
| pack/1 | True when Pack is a currently known pack. | |
| pack_table/4 | Show a table of packs. | |
| pack_url_hash/2 | True when Hash is the registered hash for URL. | |
| pack_version_hashes/2 | True when HashesByVersion is an ordered list Version-Hashes, latest version first. | |
| sort_packs/3 | | |
| pack_analyzer.pl -- Analyse the content of a Prolog pack | ||
| pack_analysis/2 | Result is the analysis result for Pack. | |
| pack_members/2 | Members is a list of file(File,Size) that represent the files in Pack. | |
| pack_open_entry/3 | Open an entry in the Pack for reading. | |
| xref_pack/1 | Run the cross-referencer on all Prolog files inside pack. | |
| xref_pack_file/2 | Run the cross-referencer on File inside Pack. | |
| xref_open_source/2 | If Id refers to a known Prolog pack, open the pack entry. | |
| xref_source_file/3 | | |
| xref_source_identifier/2 | | |
| pack_info.pl -- Visual (web) components that show info about packs | ||
| pack_mirror.pl -- Mirror pack archives | ||
| page.pl | ||
| parms.pl | ||
| plweb.pl -- Server for PlDoc wiki pages and SWI-Prolog website | ||
| doc_directory/1 | Enable editing of wiki documents from the www directory. | |
| post.pl -- Posts | ||
| proxy.pl | ||
| rating.pl -- Provide a star-rating widget | ||
| register.pl | ||
| review.pl -- Handle rating and reviewing of packages | ||
| stats.pl -- Server statistics components | ||
| tagit.pl | ||
| test_recaptcha.pl | ||
| tests.pl | ||
| update.pl | ||
| watchdog.pl | ||
| wiki.pl | ||
| extract_title/3 | Extract the title from a wiki page. | |
| file/4 | Trap translation of \file(+Path, Options). | |
| include/5 | | |
| index_wiki_pages/0 | Create a (title) index of the available wiki pages. | |
| safe_file_name/1 | True when Name is a file without references to parent directories. | |
| title_text/2 | Turn the title, represented as an argument to html//1 into a plain string. | |
| update_wiki_page_title/1 | Update the cached information about a wiki file. | |
| wiki_file_to_dom/2 | DOM is the HTML dom representation for the content of File. | |
| wiki_page_title/2 | True when Title is the title of the wiki page at Location. | |
| wiki_edit.pl -- Edit PlDoc wiki pages | ||