The existentially quantifying
|
|
2
|
431
|
June 11, 2021
|
Anyone written a version of `term_html:term//2` that writes the term in an expandable/collapsible tree?
|
|
9
|
455
|
May 30, 2021
|
Can't create mingw Docker container?
|
|
4
|
826
|
May 20, 2021
|
Automatically linking "library(this and that)" in Discourse to the docs
|
|
3
|
428
|
May 7, 2021
|
Automated testing?
|
|
1
|
409
|
April 15, 2021
|
How can I use a library from github?
|
|
5
|
544
|
March 15, 2021
|
Swish and unit tests?
|
|
0
|
375
|
March 8, 2021
|
Emacs not handling ctrl-d correctly for closing [user]
|
|
2
|
695
|
March 4, 2021
|
Setting the locale for Eclipse PDT on OS X
|
|
0
|
362
|
March 2, 2021
|
Problems with ISO modules
|
|
2
|
442
|
February 12, 2021
|
Pack_install/1 failing
|
|
8
|
977
|
December 26, 2020
|
SWI-Prolog loses prompt in Emacs
|
|
18
|
1471
|
December 15, 2020
|
Fixing/Adding a bibliogaphy in the SWI-Prolog manual
|
|
6
|
633
|
December 14, 2020
|
Debugging aggregations in place
|
|
7
|
445
|
November 27, 2020
|
Ninja and updated CMAKE
|
|
4
|
646
|
November 25, 2020
|
How do I install the Triple20 Ontology Editor on Linux?
|
|
2
|
606
|
November 25, 2020
|
Python prolog library
|
|
4
|
1523
|
November 17, 2020
|
Collection of reference material about graphical debugger
|
|
5
|
1041
|
November 10, 2020
|
I seem to have built SWI-Prolog without support for PceEmacs
|
|
6
|
821
|
November 4, 2020
|
Time results understanding
|
|
3
|
937
|
October 9, 2020
|
SWI-Prolog - PHP - Html
|
|
64
|
4341
|
September 21, 2020
|
8.x user:term_expansion -- module handling -- autoload complex issue
|
|
9
|
800
|
September 3, 2020
|
Line endings with ensure_loaded/1
|
|
12
|
658
|
September 1, 2020
|
Lsp_server usage with vim/nvim
|
|
18
|
1496
|
August 5, 2020
|
Go an exception when aborting DCG processing .. but is anyone interested in these?
|
|
11
|
1054
|
July 6, 2020
|
SWI-Prolog manual comment section of DCG page can be cleaned up too
|
|
0
|
356
|
July 1, 2020
|
Ctrl-c (sigint) not working systematically (on osx)
|
|
2
|
759
|
May 23, 2020
|
Multi-pass compilation? (for term expansion)
|
|
14
|
883
|
April 23, 2020
|
Setting Prolog flag "double_quotes" temporarily to "codes" causes help/1 to become confused
|
|
2
|
507
|
March 20, 2020
|
Windows with multiple monitors as an extended display. Sub-menu location wrong
|
|
0
|
357
|
March 5, 2020
|