Add links to the Jupyter kernel for Logtalk to the learning and tools pages

Author: pmoura

Gemfile.lock

@@ -198,20 +198,22 @@ GEM
       rb-inotify (~> 0.9, >= 0.9.7)
       ruby_dep (~> 1.2)
     mercenary (0.3.6)
-    mini_portile2 (2.4.0)
+    mini_portile2 (2.8.0)
     minima (2.5.0)
       jekyll (~> 3.5)
       jekyll-feed (~> 0.9)
       jekyll-seo-tag (~> 2.1)
     minitest (5.11.3)
     multipart-post (2.0.0)
-    nokogiri (1.10.10)
-      mini_portile2 (~> 2.4.0)
+    nokogiri (1.13.9)
+      mini_portile2 (~> 2.8.0)
+      racc (~> 1.4)
     octokit (4.13.0)
       sawyer (~> 0.8.0, >= 0.5.3)
     pathutil (0.16.1)
       forwardable-extended (~> 2.6)
     public_suffix (2.0.5)
+    racc (1.6.0)
     rb-fsevent (0.10.3)
     rb-inotify (0.9.10)
       ffi (>= 0.5.0, < 2)

_pages/documentation.md

@@ -20,9 +20,9 @@ aside:
 The Handbook includes the user manual, reference manual, glossary, FAQ, plus libraries and developer tools documentation.
 
 -   [HTML version](manuals/index.html) @ the Logtalk website (stable)
--   [PDF version](manuals/TheLogtalkHandbook-3.59.0.pdf) (stable)
--   [ePub version](manuals/TheLogtalkHandbook-3.59.0.epub) (stable)
--   [Texinfo version](manuals/TheLogtalkHandbook-3.59.0.info) (stable; experimental)
+-   [PDF version](manuals/TheLogtalkHandbook-3.60.0.pdf) (stable)
+-   [ePub version](manuals/TheLogtalkHandbook-3.60.0.epub) (stable)
+-   [Texinfo version](manuals/TheLogtalkHandbook-3.60.0.info) (stable; experimental)
 
 <!-- -->
 
@@ -43,7 +43,7 @@ Core, library, tools, ports, and contributions API documentation
 
 <!-- -->
 
--   [Texinfo version](docs/LogtalkAPIs-3.59.0.info) (stable; experimental; automatically generated)
+-   [Texinfo version](docs/LogtalkAPIs-3.60.0.info) (stable; experimental; automatically generated)
 
 The SVG diagrams provide links to both the API documentation and to the
 source code.
@@ -273,6 +273,8 @@ Diagrams scripts:
 
 Publications on research and applications using Logtalk:
 
+-	[Ontology-Supported Scaffolding for System Safety Analysis](https://etheses.whiterose.ac.uk/31412/)
+	Paul Brown. PhD thesis. November 2022.
 -	[Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search](https://www.crisis-2021.com/agenda/)
 	Camilo Correa, Jacques Robin, Raul Mazo, and Salvador Abreu.
 	Proceedings of the 16th International Conference on Risks and Security of Internet and Systems (CRISIS 2021).
@@ -481,6 +483,7 @@ Publications on research and applications using Logtalk:
 -   Michael Covington (DCGs tokenizer example)
 -   Michael Hendricks (EDCGs examples and tests)
 -   Michael Igler (testing, bug reports)
+-   Michael McNally (feedback on tutorials, examples, and documentation)
 -   Michael Sheets (text editor support)
 -   Michael T. Richter (Textadept text editor support, pengines example)
 -   Neda Saeedloei (coinduction examples)

_pages/download.md

@@ -6,8 +6,8 @@ aside:
   toc: true
 ---
 
-**Latest stable version:** 3.59.0  
-**Release date:** October 18, 2022
+**Latest stable version:** 3.60.0  
+**Release date:** November 15, 2022
 
 <a class="github-button" href="https://github.com/sponsors/pmoura" data-icon="octicon-heart" aria-label="Sponsor @pmoura on GitHub">Sponsor</a>
 <a class="github-button" href="https://github.com/LogtalkDotOrg/logtalk3" data-icon="octicon-star" aria-label="Star LogtalkDotOrg/logtalk3 on GitHub">Star</a>
@@ -28,7 +28,7 @@ includes adapter files for all supported Prolog compilers:
 -   [JIProlog 4.1.7.1 or later versions](http://www.jiprolog.com/)
 -   [LVM 4.1.0 or later versions](https://graphstax.ai/)
 -   [Quintus Prolog 3.3\~3.5](https://quintus.sics.se) *(experimental)*
--	[Scryer Prolog 0.9.0 or later versions](https://github.com/mthom/scryer-prolog) *(experimental)*
+-	[Scryer Prolog 0.9.1 or later versions](https://github.com/mthom/scryer-prolog) *(experimental)*
 -   [SICStus Prolog 4.1.0 or later versions](https://sicstus.sics.se)
 -   [SWI Prolog 6.6.0 or later versions](http://www.swi-prolog.org/)
 -   [Tau Prolog (version 0.3.2 or later)](http://tau-prolog.org)
@@ -75,8 +75,8 @@ feed](https://github.com/LogtalkDotOrg/logtalk3/commits/master.atom).
 
 ## Sources
 
-> [`logtalk-3.59.0.tar.bz2`](files/logtalk-3.59.0.tar.bz2)  
-> `6fba844551bb580564afcff5eb96f68472d2ce32f47f747d4ea080870213d783` (SHA-256)
+> [`logtalk-3.60.0.tar.bz2`](files/logtalk-3.60.0.tar.bz2)  
+> `07c1792405a5bba8d7def8567d59d10440f3124aee894a23e767eb9ee45b5889` (SHA-256)
 
 Includes the HTML and Texinfo versions of the Handbook and the APIs documentation.
 The bundled  [`INSTALL.md`](https://github.com/LogtalkDotOrg/logtalk3/blob/master/INSTALL.md)
@@ -103,8 +103,8 @@ Installs Logtalk on `/opt/local/share/` with integration scripts for
 supported Prolog compilers on `/opt/local/bin`. Creates an
 `/Applications/Logtalk` folder with links to the installed files.
 
-> [`logtalk-3.59.0.pkg.zip`](files/logtalk-3.59.0.pkg.zip)  
-> `cf2eae22e7d18b3f9acb7c00f9ae35a9301968433c83f2fc0d825a6af82fdb95` (SHA-256)
+> [`logtalk-3.60.0.pkg.zip`](files/logtalk-3.60.0.pkg.zip)  
+> `ccced983765154e5ed291cfc29351a86b74e98c76d488e947dda682365b704f1` (SHA-256)
 
 #### MacPorts
 
@@ -126,13 +126,13 @@ is up-to-date.
 Installs Logtalk on `/usr/local/share` with integration scripts for
 supported Prolog compilers on `/usr/local/bin`.
 
-> [`logtalk-3.59.0-1.noarch.rpm`](files/logtalk-3.59.0-1.noarch.rpm)  
-> `f7893911f813b7ab0c670768126209819fa8490a4ec60945b8d26dda89612efc` (SHA-256)
+> [`logtalk-3.60.0-1.noarch.rpm`](files/logtalk-3.60.0-1.noarch.rpm)  
+> `8ffcf3a55e4b500f468fcd3e2e1d268b694985bf59911e9d373692b0daa027c7` (SHA-256)
 
 Package installation from the command-line is highly recommended:
 
 ```bash
-$ sudo rpm -i logtalk-3.59.0-1.noarch.rpm
+$ sudo rpm -i logtalk-3.60.0-1.noarch.rpm
 ```
 
 Logout and login after running the installer to activate the default values
@@ -145,13 +145,13 @@ Requires dpkg 1.15.0 or a later version. Installs Logtalk on
 `/usr/share` with integration scripts for supported Prolog compilers on
 `/usr/bin`.
 
-> [`logtalk_3.59.0-1_all.deb`](files/logtalk_3.59.0-1_all.deb)  
-> `a5dd19a4b969ef4e868a275223bce191e102e0b187b71a691350718cee15b0df` (SHA-256)
+> [`logtalk_3.60.0-1_all.deb`](files/logtalk_3.60.0-1_all.deb)  
+> `6a72441dfb34e1c2d68623acb128b7cb802b2c6d77859928bc3347687d2277e2` (SHA-256)
 
 Package installation from the command-line is highly recommended:
 
 ```bash
-$ sudo dpkg -i logtalk_3.59.0-1_all.deb
+$ sudo dpkg -i logtalk_3.60.0-1_all.deb
 ```
 
 Logout and login after running the installer to activate the default values
@@ -169,9 +169,9 @@ documentation. Can be used by both admin and non-admin users.
 [Installation video](https://www.youtube.com/watch?v=YE7ahXZibN4),
 courtesy of [Paul Brown](https://pbrown.me/).
 
-> [`logtalk-3.59.0.exe`](files/logtalk-3.59.0.exe)  
-> `2f15f3ed8cb87878bae74fa73bf9465c5ae1c071913d5d6d29a125773f183b3e` (SHA-256)  
-> [VirusTotal scan results](https://www.virustotal.com/gui/url/233fc6b6df7cfca290008691c572d07793a8d937eb04ba870e5ca4016d6e24bb)
+> [`logtalk-3.60.0.exe`](files/logtalk-3.60.0.exe)  
+> `f67739bc3abc4b17b527e4ed73de8854908702b4c0d3df6c2e6d5ae48f7688b4` (SHA-256)  
+> [VirusTotal scan results](https://www.virustotal.com/gui/url/c1ee1c0a37c69f13b0c23518a882953440f121444637af21547c31e6ba905410)
 
 Logtalk is also available as a [Chocolatey package](https://chocolatey.org/packages/logtalk/)
 and can be installed or updated using the `choco install logtalk` and
@@ -202,22 +202,22 @@ followed by `pack_install(logtalk)`. See the pack specific
 [`README.md`](https://github.com/LogtalkDotOrg/logtalk3/blob/master/scripts/pack/logtalk/README.md)
 file for details. Also available as a manual download:
 
-> [`logtalk-3.59.0.tgz`](files/swi-prolog/packs/logtalk-3.59.0.tgz)  
-> `b2c427d1f3fc880d3952c4db0a38ede3586a4106adb2810ba57d5c3992ebf1ef` (SHA-256)
+> [`logtalk-3.60.0.tgz`](files/swi-prolog/packs/logtalk-3.60.0.tgz)  
+> `b6a2f81b857c4b786c36a032ef0894c13fc0dd3d43bf9e43c41b4b1688da2680` (SHA-256)
 
 In this case, change directory to the download directory, start SWI-Prolog,
-and run the query `pack_install('logtalk-3.59.0.tgz').`
+and run the query `pack_install('logtalk-3.60.0.tgz').`
 
 There's also an **experimental** pack that encapsulates de Logtalk
 compiler and runtime in a `logtalk` module. See the pack specific
 [`README.md`](https://github.com/LogtalkDotOrg/logtalk3/blob/master/scripts/pack-experimental/logtalk/README.md)
 file for details. This pack is only available as a manual download:
 
-> [`logtalk-experimental-3.59.0.tgz`](files/swi-prolog/packs/logtalk-experimental-3.59.0.tgz)  
-> `eee33bc57d252b28a76bff38a0f275df8d43f651fa81b4ae9429e5463cb01a7f` (SHA-256)
+> [`logtalk-experimental-3.60.0.tgz`](files/swi-prolog/packs/logtalk-experimental-3.60.0.tgz)  
+> `aca63541cb71138a4501431a6ca7f73a5d212f53a0a3103ac796a84abcb9821d` (SHA-256)
 
 In this case, change directory to the download directory, start SWI-Prolog,
-and run the query `pack_install('logtalk-experimental-3.59.0.tgz').`
+and run the query `pack_install('logtalk-experimental-3.60.0.tgz').`
 
 
 ### Arch Linux package
@@ -232,8 +232,8 @@ Ebrahim Azarisooreh.
 HTML, ePub, PDF, and Texinfo versions of the Handbook (includes a tutorial, the User Manual, the Reference Manual, and the FAQ).
 Note that the HTML and Texinfo versions are **included** in the source and binary packages.
 
-> [`logtalk-manuals-3.59.0.tgz`](files/logtalk-manuals-3.59.0.tgz)  
-> `c1fea17ce16f40f998407592f5dfb8d781c4851be7329c91a9818f36b124cbdd` (SHA-256)
+> [`logtalk-manuals-3.60.0.tgz`](files/logtalk-manuals-3.60.0.tgz)  
+> `058fea9777c50acfa1bdef9fdee7ca5ec74fa742c5bd61fd511503f6cfd01d09` (SHA-256)
 
 
 ## Docker images

_pages/learning.md

@@ -10,7 +10,7 @@ Logtalk is a programming language that extends and subsumes Prolog. Thus, a good
 
 [Learn X in Y minutes Where X=Logtalk](https://learnxinyminutes.com/docs/logtalk/)
 
-Although this short tutorial is a recommended starting point for new users for a quick overview, be aware that some of the examples will not work as-is in Logtalk 3.x (a [pull request](https://github.com/adambard/learnxinyminutes-docs/pull/4526) have been submitted).
+Although this short tutorial is a recommended starting point for new users for a quick overview, be aware that some of the examples will not work as-is in Logtalk 3.x (a [pull request](https://github.com/adambard/learnxinyminutes-docs/pull/4526) have been submitted). There's also an up-to-date [Jupyter notebook](https://github.com/LogtalkDotOrg/logtalk-jupyter-kernel) version of this tutorial that you can run with a subset of the Logtalk supported Prolog backends.
 
 Note that the Logtalk distribution includes HTML versions of the user manual,
 the reference manual, and the APIs documentation. Documentation can also be
@@ -26,7 +26,7 @@ goals:
 [Programming examples](https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples)
 (described [here](https://github.com/LogtalkDotOrg/logtalk3/blob/master/examples/NOTES.md)).
 
-All examples include a `loader.lgt` file that loads the example and any dependencies, a `NOTES.md` file with a description of the example, and a `SCRIPT.txt` file with sample queries (including how to load the example) for you to try. Most examples also include a `tests.lgt` file with unit tests and a `tester.lgt` loader file to run them. Being programming examples, it is expected that you run them side-by-side with the source code open in your [favorite editor](https://github.com/LogtalkDotOrg/logtalk3/tree/master/coding).
+All examples include a `loader.lgt` file that loads the example and any dependencies, a `NOTES.md` file with a description of the example, and a `SCRIPT.txt` file with sample queries (including how to load the example) for you to try. Most examples also include a `tests.lgt` file with unit tests and a `tester.lgt` loader file to run them. Being programming examples, it is expected that you run them side-by-side with the source code open in your [favorite editor](https://github.com/LogtalkDotOrg/logtalk3/tree/master/coding) after reading their documentation.
 
 [Learning and development tools](tools.html)
 
@@ -69,7 +69,7 @@ Want to learn about parametric objects (and categories)? See the following examp
 * [`parvars`](https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/parvars)
 * [`proxies`](https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/proxies)
 * [`symdiff`](https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/symdiff)
-* [`figures`](https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/figures)
+* [`figures`](https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/ncl/figures)
 * [`process_modeling`](https://github.com/LogtalkDotOrg/logtalk3/tree/master/examples/process_modeling)
 
 Logtalk support for _composition_ using categories provides an alternative to _inheritance_. Two good examples are:

_pages/logtalk.md

@@ -11,7 +11,7 @@ permalink: index.html
   </div>
 </div>
 
-<p align="right" style="font-size:12px; padding:0px; margin:0px">@ v3.59.0 - October 18, 2022</p>
+<p align="right" style="font-size:12px; padding:0px; margin:0px">@ v3.60.0 - November 15, 2022</p>
 <p align="right" style="font-size:12px; padding:0px; margin:0px">
 <a class="github-button" href="https://github.com/sponsors/pmoura" data-icon="octicon-heart" aria-label="Sponsor @pmoura on GitHub">Sponsor</a>
 <a class="github-button" href="https://github.com/LogtalkDotOrg/logtalk3" data-icon="octicon-star" aria-label="Star LogtalkDotOrg/logtalk3 on GitHub">Star</a>

_pages/news.md

@@ -8,6 +8,25 @@ aside:
 
 ### 2022
 
+##### November 15
+
+> Logtalk 3.60.0 is now available for [downloading](download.html). This release
+> adds a new linter check for the availability of predicates (and non-terminals)
+> listed in `uses/2` and `use_module/2` directives; improves the readability of
+> default flag values printed at startup; updates all backend adapter files to
+> recognize `.pro` as a valid Prolog file name extension; includes Handbook,
+> library, and tools documentation improvements; updates the manual installation
+> instructions for `zsh` users; adds `json` library support for customizing the
+> term representation of JSON objects and JSON pairs; adds new
+> `reader::line_to_chars/2-3` library predicates; adds new and improved linter
+> checks to the `lgtdoc` tool; adds a new `lgtunit` tool `file_path/2` predicate;
+> includes fixes for the `logtalk_doclet` and `logtalk_tester` scripts; includes
+> additional tests for several Prolog standard predicates; updated the
+> `logtalk_user_setup` scripts to prevent misuse; and adds support for escape
+> sequences inside double-quoted terms to most text editors and syntax highlighters.
+> For details and a complete list of changes, please consult the
+> [release notes](https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md).
+
 ##### October 18
 
 > Logtalk 3.59.0 is now available for [downloading](download.html). This release

_pages/releasenotes.md

@@ -4,6 +4,126 @@ permalink: releasenotes.html
 title: Release Notes
 ---
 
+3.60.0 - November 15, 2022
+==========================
+
+Logtalk compiler and runtime
+----------------------------
+
+* ADDED: Linter check for the availability of predicates (and non-terminals)
+listed in `uses/2` and `use_module/2` directives. Controlled by the flag
+`unknown_predicates`.
+
+* IMPROVED: Readability of default flag values printed at startup.
+
+* FIXED: When reporting calls to non-standard arithmetic functions don't
+describe them as built-in functions as most Prolog systems fail to provide
+reflection support to check or enumerate built-in functions.
+
+Prolog adapter and integration files
+------------------------------------
+
+* UPDATED: All backend adapter files to recognize `.pro` as a valid Prolog
+file name extension.
+
+* UPDATED: The Scryer Prolog adapter file to require version 0.9.1 or later.
+
+Documentation
+-------------
+
+* ADDED: New `lgtunit` tool documentation section on working with test data
+files.
+
+* IMPROVED: The Handbook inheritance section on the predicate lookups order.
+
+* IMPROVED: The Handbook pages on some predicate directives by linking to the
+corresponding glossary definitions. 
+
+* UPDATED: The manual installation instructions in the `INSTALL.md` file for
+zsh users.
+
+Library
+-------
+
+* ADDED: New `json` library parsing source `line(Stream)` to parse a single
+line from the given stream into a JSON term.
+
+* ADDED: Support for alternative term representations of JSON objects and JSON
+pairs to the `json` library.
+
+* FIXED: Bug in the `json` library handling of JSON escape sequences.
+
+* ADDED: Library `reader::line_to_chars/2-3` predicates.
+
+* FIXED: Mode directives for the `reader::line_to_codes/2-3` predicates.
+
+* FIXED: Also declare as synchronized the `term_io` predicates
+`read_term_from_chars/4` and `read_term_from_codes/4`.
+
+Tools
+-----
+
+* CHANGED: Renamed the `lgtdoc` tool `lgtdoc_missing_periods` linter flag to
+`lgtdoc_missing_punctuation` and accept also exclamation and question marks.
+
+* ADDED: New linter warning to the `lgtdoc` tool for invalid dates in `info/1`
+directives.
+
+* ADDED: New `lgtunit` tool `file_path/2` protected predicate for computing
+absolute paths for file paths relative to test object paths.
+
+* IMPROVED: The `lgtdoc` tool linter warnings to include the file line number.
+
+* IMPROVED: More portable checking of the `packs` tool required command-line
+executables in POSIX systems.
+
+* FIXED: The `logtalk_doclet.sh` script when using a backend Prolog system
+that requires command-line passed queries to end with a period.
+
+* FIXED: The `logtalk_tester.sh` script to ensure that the searching for
+a `tester.sh` file to be sourced is restricted to the test set directory.
+
+* FIXED: The `logtalk_tester.ps1` script sourcing of `tester.ps1` files found
+in the test set directory.
+
+* FIXED: List of dependencies for the developer tools for Ubuntu.
+
+Examples
+--------
+
+* IMPROVED: Documentation of the `people` example.
+
+* FIXED: Test for the `jpl` example to correctly compare floats.
+
+Tests
+-----
+
+* ADDED: Additional tests for the Prolog standard `atom_chars/2`,
+`atom_codes/2`, `number_chars/2`, and `number_codes/2` predicates.
+
+* UPDATED: Several Prolog compliance tests to use the new `lgtunit` tool
+`file_path/2` predicate.
+
+Installers and installation scripts
+-----------------------------------
+
+* IMPROVED: The `logtalk_user_setup.sh` and `logtalk_user_setup.ps1` scripts
+to detect when the `LOGTALKHOME` and `LOGTALKUSER` environment variables point
+to the same directory and refuse to run.
+
+IDEs, text editors, and syntax highlighters support
+---------------------------------------------------
+
+* ADDED: Support for escape sequences inside double-quoted terms to most text
+editors and syntax highlighters.
+
+* UPDATED: Syntax highlighting test files to test escape sequences inside
+double-quoted terms.
+
+* FIXED: Deleted accidentally committed temporary files in the `coding/tests`
+directory.
+
+
 3.59.0 - October 18, 2022
 =========================
 

_pages/tools.md

@@ -313,6 +313,12 @@ There's also an [index](https://github.com/LogtalkDotOrg/pack-registries) of pub
 This tool can be used not only for Logtalk packs but also for Prolog packs.
 
 
+## Literate programming
+
+A [Jupyter kernel for Logtalk](https://github.com/LogtalkDotOrg/logtalk-jupyter-kernel)
+is available that can be used with a subset of the Logtalk supported Prolog backends.
+
+
 ## Prolog porting
 
 The [`wrapper`](https://logtalk.org/manuals/devtools/wrapper.html)