Skip to content

Commit f0da43f

Browse files
committed
Use Trealla Prolog instead of GNU Prolog as the second backend in the kernel overview notebook
1 parent 102f4a8 commit f0da43f

File tree

1 file changed

+19
-24
lines changed

1 file changed

+19
-24
lines changed

JupyterKernelForLogtalkOverview.ipynb

Lines changed: 19 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -31,9 +31,9 @@
3131
{
3232
"data": {
3333
"text/plain": [
34-
"Logtalk 3.75.0-b01\n",
34+
"Logtalk 3.75.0-stable\n",
3535
"SWI-Prolog 9.3.1\n",
36-
"Logtalk Jupyter kernel 0.11.0-beta"
36+
"Logtalk Jupyter kernel 0.9.0-beta"
3737
]
3838
},
3939
"metadata": {},
@@ -77,7 +77,7 @@
7777
{
7878
"data": {
7979
"text/plain": [
80-
"\u001b[1mVersionData = logtalk(3,75,0,b01)"
80+
"\u001b[1mVersionData = logtalk(3,75,0,stable)"
8181
]
8282
},
8383
"metadata": {},
@@ -179,7 +179,7 @@
179179
{
180180
"data": {
181181
"text/plain": [
182-
"$VersionData = logtalk(3,75,0,b01)\n",
182+
"$VersionData = logtalk(3,75,0,stable)\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(_23270)\n",
893-
" Call: (2) number_of_legs(_23270)\n",
892+
" Call: (1) fred::number_of_legs(_30944)\n",
893+
" Call: (2) number_of_legs(_30944)\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)"
@@ -935,7 +935,7 @@
935935
"data": {
936936
"text/plain": [
937937
" All specified spy points added.\n",
938-
"+ Call: (6) gravitational_acceleration(_8896)\n",
938+
"+ Call: (6) gravitational_acceleration(_16572)\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-02-23, 10:57:45\n",
1016+
"% tests started at 2024-02-27, 19:32:51\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.000902000/0.001000000 cpu/wall seconds)\n",
1022-
"% ack_2: success (in 0.025740000/0.032000000 cpu/wall seconds)\n",
1023-
"% ack_3: success (in 0.110079000/0.136000000 cpu/wall seconds)\n",
1021+
"% ack_1: success (in 0.000965000/0.001000000 cpu/wall seconds)\n",
1022+
"% ack_2: success (in 0.026365000/0.033000000 cpu/wall seconds)\n",
1023+
"% ack_3: success (in 0.112395000/0.139000000 cpu/wall seconds)\n",
10241024
"% \n",
10251025
"% 3 tests: 0 skipped, 3 passed, 0 failed (0 flaky)\n",
1026-
"% runtime: 0.136721000/0.169000000 cpu/wall seconds\n",
1026+
"% runtime: 0.139725000/0.173000000 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-02-23, 10:57:45\n",
1039+
"% tests ended at 2024-02-27, 19:32:52\n",
10401040
"% "
10411041
]
10421042
},
@@ -1107,7 +1107,7 @@
11071107
"data": {
11081108
"text/plain": [
11091109
"Query: list::member(M,[1,2,3])\n",
1110-
"Runtime: 0.0 s"
1110+
"Runtime: 0.0009999999999994458 s"
11111111
]
11121112
},
11131113
"metadata": {},
@@ -1439,9 +1439,6 @@
14391439
" %%tree\n",
14401440
" Prints a tree representation of a term\n",
14411441
"\n",
1442-
" %%highlight\n",
1443-
" Highlights cell contents as Logtalk code\n",
1444-
"\n",
14451442
"Line magic:\n",
14461443
"\n",
14471444
" %bindings\n",
@@ -1456,8 +1453,6 @@
14561453
" Prints documentation for all predicates from object jupyter\n",
14571454
" %versions\n",
14581455
" Prints Logtalk, Prolog backend, and Jupyter kernel versions\n",
1459-
" %flags\n",
1460-
" Prints a table with all Logtalk flags and their values\n",
14611456
"\n",
14621457
" %magic\n",
14631458
" Prints help in using cell and line magic"
@@ -1514,7 +1509,7 @@
15141509
"text/plain": [
15151510
"jupyter::halt or halt\n",
15161511
"\n",
1517-
" Shuts down the running Logtalk process.\n",
1512+
" Shuts down the running Prolog process.\n",
15181513
"\n",
15191514
" The next time code is to be executed, a new process is started.\n",
15201515
" Everything defined in the database before does not exist anymore.\n",
@@ -1566,7 +1561,7 @@
15661561
"\n",
15671562
" Needs to be the only goal of a query.\n",
15681563
"\n",
1569-
" Example: jupyter::print_table(current_logtalk_flag(Name, Value)).\n",
1564+
" Example: jupyter::print_table(current_prolog_flag(FlagName, Value)).\n",
15701565
"\n",
15711566
"--------------------------------------------------------------------------------\n",
15721567
"\n",
@@ -1610,7 +1605,7 @@
16101605
"\n",
16111606
"jupyter::show_term(+Term)\n",
16121607
"\n",
1613-
" Displays a term as a graph.\n",
1608+
" Displays a Prolog term as a graph.\n",
16141609
"\n",
16151610
" Needs to be the only goal of a query.\n",
16161611
"\n",
@@ -1810,7 +1805,7 @@
18101805
}
18111806
],
18121807
"source": [
1813-
"gnu."
1808+
"trealla."
18141809
]
18151810
},
18161811
{
@@ -1834,7 +1829,7 @@
18341829
{
18351830
"data": {
18361831
"text/plain": [
1837-
"\u001b[1myes"
1832+
"\u001b[1mtrue"
18381833
]
18391834
},
18401835
"metadata": {},

0 commit comments

Comments
 (0)