|
C++/ Prolog
|
|
7
|
102
|
January 29, 2025
|
|
I am proud to present my first OEIS numbers with the help of swi-prolog
|
|
0
|
68
|
January 28, 2025
|
|
Is old school mode directed compilation dead?
|
|
0
|
75
|
January 23, 2025
|
|
Sporadic "abort trap" when using trace/2
|
|
3
|
37
|
January 26, 2025
|
|
DCG translation easter egg in SWI-Prolog
|
|
0
|
62
|
January 25, 2025
|
|
Preliminary Call for Papers (ICLP 2025)
|
|
0
|
103
|
January 25, 2025
|
|
Goal Evaluation with Timeouts
|
|
14
|
1485
|
January 24, 2025
|
|
PL_get_integer returns false even with confirmed integer term_t
|
|
10
|
82
|
January 24, 2025
|
|
Serializing terms with the foreign language interface
|
|
1
|
23
|
January 24, 2025
|
|
Ann: SWI-Prolog 9.3.19
|
|
0
|
119
|
January 23, 2025
|
|
A little benchmark shows a slow first access to tabled predicates
|
|
0
|
42
|
January 23, 2025
|
|
Clipboard tip
|
|
4
|
56
|
January 23, 2025
|
|
Build list of predicates that can be exported from a module
|
|
0
|
446
|
August 2, 2020
|
|
Group_by/4 examples
|
|
0
|
1348
|
July 22, 2020
|
|
Order_by/2 examples
|
|
0
|
991
|
July 21, 2020
|
|
Parsing of binary data
|
|
0
|
1307
|
October 9, 2019
|
|
List the properties for predicate(s)
|
|
0
|
1020
|
August 11, 2020
|
|
List modules importing predicate(s)
|
|
0
|
439
|
August 11, 2020
|
|
List predicate(s) calling predicate(s)
|
|
0
|
456
|
August 11, 2020
|
|
Example of prolog_trace_interception/4
|
|
0
|
570
|
September 17, 2021
|
|
How to avoid escaping characters in Prolog strings
|
|
0
|
1191
|
August 26, 2020
|
|
Understanding SWISH Notebooks Coloring
|
|
1
|
24
|
January 23, 2025
|
|
GitHub Actions and Workflows for Logtalk and Prolog repos
|
|
13
|
885
|
January 23, 2025
|
|
Want to get minimal term_expansion example working
|
|
3
|
38
|
January 21, 2025
|
|
Source_sink dtd does not exist
|
|
6
|
49
|
January 21, 2025
|
|
Arrow up/down keys do not work across terminal sessions
|
|
2
|
48
|
January 20, 2025
|
|
Posix time formatting is offset by locale
|
|
9
|
76
|
September 27, 2024
|
|
Substructural Logics in Prolog
|
|
2
|
119
|
January 17, 2025
|
|
Differnces between ciao s(casp) and swi s(Casp)
|
|
2
|
56
|
January 17, 2025
|
|
Can I capture all terminal output with protocol/1?
|
|
3
|
48
|
January 16, 2025
|