Latest notebook versions

Author: pmoura

JupyterKernelForLogtalkOverview.ipynb

@@ -33,7 +33,7 @@
       "text/plain": [
        "Logtalk 3.71.0-b01\n",
        "SWI-Prolog 9.1.16\n",
-       "Logtalk Jupyter kernel 0.7.0-beta"
+       "Logtalk Jupyter kernel 0.7.1-beta"
       ]
      },
      "metadata": {},
@@ -937,14 +937,14 @@
      "data": {
       "text/plain": [
        "% \n",
-       "% tests started at 2023-09-26, 15:45:51\n",
+       "% tests started at 2023-09-26, 17:26:50\n",
        "% \n",
        "% running tests from object tests\n",
        "% file: /Users/pmoura/logtalk/examples/ack/tests.lgt\n",
        "% \n",
-       "% ack_1: success (in 0.001745000 seconds)\n",
-       "% ack_2: success (in 0.062015000 seconds)\n",
-       "% ack_3: success (in 0.264898000 seconds)\n",
+       "% ack_1: success (in 0.001783000 seconds)\n",
+       "% ack_2: success (in 0.065879000 seconds)\n",
+       "% ack_3: success (in 0.272009000 seconds)\n",
        "% \n",
        "% 3 tests: 0 skipped, 3 passed, 0 failed (0 flaky)\n",
        "% completed tests from object tests\n",
@@ -959,7 +959,7 @@
        "% 1 out of 1 entity covered, 100.000000% entity coverage\n",
        "% 3 out of 3 clauses covered, 100.000000% clause coverage\n",
        "% \n",
-       "% tests ended at 2023-09-26, 15:45:52\n",
+       "% tests ended at 2023-09-26, 17:26:51\n",
        "% "
       ]
      },
@@ -1109,7 +1109,6 @@
    ]
   },
   {
-   "attachments": {},
    "cell_type": "markdown",
    "id": "4f70dbad",
    "metadata": {},
@@ -1321,7 +1320,6 @@
    ]
   },
   {
-   "attachments": {},
    "cell_type": "markdown",
    "id": "8cfaa314",
    "metadata": {},

LogtalkTutorial.ipynb

@@ -1,7 +1,6 @@
 {
  "cells": [
   {
-   "attachments": {},
    "cell_type": "markdown",
    "id": "1ccf1b85-e8e1-445c-9a1c-307c615c6152",
    "metadata": {},
@@ -34,7 +33,7 @@
       "text/plain": [
        "Logtalk 3.71.0-b01\n",
        "SWI-Prolog 9.1.16\n",
-       "Logtalk Jupyter kernel 0.7.0-beta"
+       "Logtalk Jupyter kernel 0.7.1-beta"
       ]
      },
      "metadata": {},
@@ -580,7 +579,7 @@
    "id": "b1abe300-f4ae-4d85-a86a-52055f382538",
    "metadata": {},
    "source": [
-    "A message is valid if the corresponding predicate is declared (and the sender is within scope) but it will fail, rather then throwing an error, if the predicate is not defined. This is called the _closed-world assumption_. For example, consider the following object, saved in a `foo.lgt` file:"
+    "A message is valid if the corresponding predicate is _declared_ (and the sender is within scope) but it will fail, rather then throwing an error, if the predicate is not _defined_. This is called the _closed-world assumption_. For example, consider the following object, saved in a `foo.lgt` file:"
    ]
   },
   {
@@ -618,7 +617,7 @@
    "id": "dba53531-2c93-42e3-ba42-66aa044c5d6f",
    "metadata": {},
    "source": [
-    "Loading the file and trying to call the `bar/0` predicate fails as expected. Note that this is different from calling an _unknown_ predicate, which results in an error:"
+    "Loading the file and trying to call the `bar/0` predicate fails as expected:"
    ]
   },
   {
@@ -634,15 +633,23 @@
     {
      "data": {
       "text/plain": [
-       "\u001b[1;31mfalse"
+       "\u001b[1mtrue"
       ]
      },
      "metadata": {},
      "output_type": "display_data"
     }
    ],
    "source": [
-    "foo::bar."
+    "\\+ foo::bar."
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "id": "24b0beac",
+   "metadata": {},
+   "source": [
+    "Note that this is different from calling an _unknown_ predicate, which results in an error:"
    ]
   },
   {
@@ -1419,7 +1426,7 @@
     {
      "data": {
       "text/plain": [
-       "call: list <-- member(_59438,[1,2,3]) from user\n",
+       "call: list <-- member(_59586,[1,2,3]) from user\n",
        "exit: list <-- member(1,[1,2,3]) from user\n",
        "exit: list <-- member(2,[1,2,3]) from user\n",
        "exit: list <-- member(3,[1,2,3]) from user"