Skip to content

Commit f921eed

Browse files
pmourapmoura
committed
Latest notebook versions
1 parent a1a8183 commit f921eed

File tree

2 files changed

+29
-29
lines changed

2 files changed

+29
-29
lines changed

‎JupyterKernelForLogtalkOverview.ipynb

Lines changed: 24 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
"\n",
1414
"Running this notebook assumes Logtalk is installed using one of the provided installers or by running the manual installation script.\n",
1515
"\n",
16-
"The default backend can be changed in the fly by adding a code cell at the top and running one of the following queries: `eclipse`, `gnu`, `lvm`, `sicstus`, `trealla`, or `yap` (assuming that all these backend Prolog systems are installed). The default backend can be set for all notebooks in a directory by using a `logtalk_kernel_config.py` file (see the [logtalk-jupyter-kernel](https://github.com/LogtalkDotOrg/logtalk-jupyter-kernel) repo for details). If this file is not present, the default backend is SWI-Prolog.\n",
16+
"The default backend can be changed in the fly by adding a code cell at the top and running one of the following queries: `eclipse`, `gnu`, `sicstus`, `trealla`, `xvm`, or `yap` (assuming that all these backend Prolog systems are installed). The default backend can be set for all notebooks in a directory by using a `logtalk_kernel_config.py` file (see the [logtalk-jupyter-kernel](https://github.com/LogtalkDotOrg/logtalk-jupyter-kernel) repo for details). If this file is not present, the default backend is SWI-Prolog.\n",
1717
"\n",
1818
"This notebook is currently running using:"
1919
]
@@ -31,9 +31,9 @@
3131
{
3232
"data": {
3333
"text/plain": [
34-
"Logtalk 3.77.0-b01\n",
35-
"SWI-Prolog 9.3.3\n",
36-
"Logtalk Jupyter kernel 0.11.0-beta"
34+
"Logtalk 3.82.0-b01\n",
35+
"SWI-Prolog 9.3.8\n",
36+
"Logtalk Jupyter kernel 0.14.0-beta"
3737
]
3838
},
3939
"metadata": {},
@@ -77,7 +77,7 @@
7777
{
7878
"data": {
7979
"text/plain": [
80-
"\u001b[1mVersionData = logtalk(3,77,0,b01)"
80+
"\u001b[1mVersionData = logtalk(3,82,0,b01)"
8181
]
8282
},
8383
"metadata": {},
@@ -179,7 +179,7 @@
179179
{
180180
"data": {
181181
"text/plain": [
182-
"$VersionData = logtalk(3,77,0,b01)\n",
182+
"$VersionData = logtalk(3,82,0,b01)\n",
183183
"$X = [1,2,3]\n",
184184
"$Z = [1,2,3,4,5,6]\n",
185185
"$Unicode = full\n",
@@ -889,8 +889,8 @@
889889
{
890890
"data": {
891891
"text/plain": [
892-
" Call: (1) fred::number_of_legs(_22292)\n",
893-
" Call: (2) number_of_legs(_22292)\n",
892+
" Call: (1) fred::number_of_legs(_23552)\n",
893+
" Call: (2) number_of_legs(_23552)\n",
894894
" Fact: (2) number_of_legs(4)\n",
895895
" Exit: (2) number_of_legs(4)\n",
896896
" Exit: (1) fred::number_of_legs(4)"
@@ -934,8 +934,8 @@
934934
{
935935
"data": {
936936
"text/plain": [
937-
" All specified spy points added.\n",
938-
"+ Call: (6) gravitational_acceleration(_7774)\n",
937+
" All specified breakpoints added.\n",
938+
"+ Call: (6) gravitational_acceleration(_9474)\n",
939939
"+ Fact: (6) gravitational_acceleration(3.72076)\n",
940940
"+ Exit: (6) gravitational_acceleration(3.72076)"
941941
]
@@ -1013,17 +1013,17 @@
10131013
"data": {
10141014
"text/plain": [
10151015
"% \n",
1016-
"% tests started at 2024-03-25, 14:33:01\n",
1016+
"% tests started at 2024-07-27, 06:43:46\n",
10171017
"% \n",
10181018
"% running tests from object tests\n",
10191019
"% file: /Users/pmoura/logtalk/examples/ack/tests.lgt\n",
10201020
"% \n",
1021-
"% ack_1: success (in 0.000918000/0.001000000 cpu/wall seconds)\n",
1022-
"% ack_2: success (in 0.026442000/0.033000000 cpu/wall seconds)\n",
1023-
"% ack_3: success (in 0.109992000/0.135000000 cpu/wall seconds)\n",
1021+
"% ack_1: success (in 0.000232000/0.000000000 cpu/wall seconds)\n",
1022+
"% ack_2: success (in 0.006585000/0.008000000 cpu/wall seconds)\n",
1023+
"% ack_3: success (in 0.028261000/0.033000000 cpu/wall seconds)\n",
10241024
"% \n",
10251025
"% 3 tests: 0 skipped, 3 passed, 0 failed (0 flaky)\n",
1026-
"% runtime: 0.137352000/0.169000000 cpu/wall seconds\n",
1026+
"% runtime: 0.035078000/0.041000000 cpu/wall seconds\n",
10271027
"% completed tests from object tests\n",
10281028
"% \n",
10291029
"% \n",
@@ -1036,7 +1036,7 @@
10361036
"% 1 out of 1 entity covered, 100.000000% entity coverage\n",
10371037
"% 3 out of 3 clauses covered, 100.000000% clause coverage\n",
10381038
"% \n",
1039-
"% tests ended at 2024-03-25, 14:33:01\n",
1039+
"% tests ended at 2024-07-27, 06:43:46\n",
10401040
"% "
10411041
]
10421042
},
@@ -1266,7 +1266,7 @@
12661266
"<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
12671267
"<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
12681268
" \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
1269-
"<!-- Generated by graphviz version 10.0.1 (20240210.2158)\n",
1269+
"<!-- Generated by graphviz version 12.0.0 (20240704.0754)\n",
12701270
" -->\n",
12711271
"<!-- Pages: 1 -->\n",
12721272
"<svg width=\"216pt\" height=\"310pt\"\n",
@@ -1341,14 +1341,14 @@
13411341
"<title>b(2,c(3,4))&#45;&gt;c(3,4)</title>\n",
13421342
"<path fill=\"none\" stroke=\"black\" d=\"M108.09,-176.91C114.47,-164.9 123.15,-148.59 130.48,-134.8\"/>\n",
13431343
"<polygon fill=\"black\" stroke=\"black\" points=\"133.46,-136.66 135.06,-126.19 127.28,-133.37 133.46,-136.66\"/>\n",
1344-
"<text text-anchor=\"middle\" x=\"130.38\" y=\"-145.7\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
1344+
"<text text-anchor=\"middle\" x=\"129.38\" y=\"-145.7\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
13451345
"</g>\n",
13461346
"<!-- c(3,4)&#45;&gt;3 -->\n",
13471347
"<g id=\"edge5\" class=\"edge\">\n",
13481348
"<title>c(3,4)&#45;&gt;3</title>\n",
13491349
"<path fill=\"none\" stroke=\"black\" d=\"M137.89,-88.41C132.88,-76.37 126.06,-59.99 120.31,-46.17\"/>\n",
13501350
"<polygon fill=\"black\" stroke=\"black\" points=\"123.63,-45.04 116.56,-37.16 117.17,-47.73 123.63,-45.04\"/>\n",
1351-
"<text text-anchor=\"middle\" x=\"134.38\" y=\"-57.2\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
1351+
"<text text-anchor=\"middle\" x=\"133.38\" y=\"-57.2\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
13521352
"</g>\n",
13531353
"<!-- c(3,4)&#45;&gt;4 -->\n",
13541354
"<g id=\"edge6\" class=\"edge\">\n",
@@ -1780,13 +1780,13 @@
17801780
"\n",
17811781
"- ECLiPSe (`eclipse`)\n",
17821782
"- GNU Prolog (`gnu`)\n",
1783-
"- LVM (`lvm`)\n",
17841783
"- SICStus Prolog (`sicstus`)\n",
17851784
"- SWI-Prolog (`swi`)\n",
17861785
"- Trealla Prolog (`trealla`)\n",
1786+
"- XVM (`xvm`)\n",
17871787
"- YAP (`yap`)\n",
17881788
"\n",
1789-
"The above shortcuts assume Logtalk was installed using either one of the provided installers or by running the manual installation script (i.e. you can run e.g. Logtalk with SWI-Prolog by simply typing `swilgt` on a POSIX system or `swilgt.ps1` on a Windows system). But if you running Logtalk from a git clone directory, you will need to switch Prolog backends using the `jupyter::set_prolog_backend(BackendIntegrationScript)` predicate instead (e.g. `jupyter::set_prolog_backend('swilgt.sh')`)."
1789+
"The above shortcuts assume Logtalk was installed using either one of the provided installers or by running the manual installation script (i.e. you can run e.g. Logtalk with SWI-Prolog by simply typing `swilgt` on a POSIX system or `swilgt.ps1` on a Windows system). Alternatively, that you're running Logtalk from a git clone directory with the `LOGTALKHOME` and `LOGTALKUSER` environment variables defined and pointing to the clone directory (i.e. you can run e.g. Logtalk with SWI-Prolog by simply typing `swilgt.sh` on a POSIX system). But you can always switch Prolog backends using the `jupyter::set_prolog_backend(BackendIntegrationScript)` predicate instead (e.g. `jupyter::set_prolog_backend('swilgt.sh')`)."
17901790
]
17911791
},
17921792
{
@@ -1810,7 +1810,7 @@
18101810
}
18111811
],
18121812
"source": [
1813-
"trealla."
1813+
"gnu."
18141814
]
18151815
},
18161816
{
@@ -1834,7 +1834,7 @@
18341834
{
18351835
"data": {
18361836
"text/plain": [
1837-
"\u001b[1mtrue"
1837+
"\u001b[1myes"
18381838
]
18391839
},
18401840
"metadata": {},
@@ -1881,7 +1881,7 @@
18811881
"## Extending the Kernel\n",
18821882
"\n",
18831883
"- Original Prolog only kernel was developed for SICStus Prolog and later extended to SWI-Prolog\n",
1884-
"- Current Logtalk kernel supports those and other Prolog backends (including ECLiPSe, GNU Prolog, LVM, Trealla Prolog, and YAP)\n",
1884+
"- Current Logtalk kernel supports those and other Prolog backends (including ECLiPSe, GNU Prolog, Trealla Prolog, XVM, and YAP)\n",
18851885
"- Portable code except for the non-standard stream redirection details that depend on the backend\n",
18861886
"\n",
18871887
" "

‎LogtalkTutorial.ipynb

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
"\n",
1414
"Running this notebook assumes Logtalk is installed using one of the provided installers or by running the manual installation script.\n",
1515
"\n",
16-
"The default backend can be changed in the fly by adding a code cell at the top and running one of the following queries: `eclipse`, `gnu`, `lvm`, `sicstus`, `trealla`, or `yap` (assuming that all these backend Prolog systems are installed). The default backend can be set for all notebooks in a directory by using a `logtalk_kernel_config.py` file (see the [logtalk-jupyter-kernel](https://github.com/LogtalkDotOrg/logtalk-jupyter-kernel) repo for details). If this file is not present, the default backend is SWI-Prolog.\n",
16+
"The default backend can be changed in the fly by adding a code cell at the top and running one of the following queries: `eclipse`, `gnu`, `xvm`, `sicstus`, `trealla`, or `yap` (assuming that all these backend Prolog systems are installed). The default backend can be set for all notebooks in a directory by using a `logtalk_kernel_config.py` file (see the [logtalk-jupyter-kernel](https://github.com/LogtalkDotOrg/logtalk-jupyter-kernel) repo for details). If this file is not present, the default backend is SWI-Prolog.\n",
1717
"\n",
1818
"This notebook is currently running using:"
1919
]
@@ -31,9 +31,9 @@
3131
{
3232
"data": {
3333
"text/plain": [
34-
"Logtalk 3.74.0-b03\n",
35-
"SWI-Prolog 9.1.21\n",
36-
"Logtalk Jupyter kernel 0.9.0-beta"
34+
"Logtalk 3.81.0-stable\n",
35+
"SWI-Prolog 9.3.8\n",
36+
"Logtalk Jupyter kernel 0.13.0-beta"
3737
]
3838
},
3939
"metadata": {},
@@ -1424,7 +1424,7 @@
14241424
{
14251425
"data": {
14261426
"text/plain": [
1427-
"call: list <-- member(_62606,[1,2,3]) from user\n",
1427+
"call: list <-- member(_62948,[1,2,3]) from user\n",
14281428
"exit: list <-- member(1,[1,2,3]) from user\n",
14291429
"exit: list <-- member(2,[1,2,3]) from user\n",
14301430
"exit: list <-- member(3,[1,2,3]) from user"

0 commit comments

Comments
 (0)