|
It is useful to try and capture the story of a predicate or a feature in the docs?
|
|
24
|
942
|
June 30, 2022
|
|
Windows vs Linux performance
|
|
0
|
560
|
June 30, 2022
|
|
Any zk-snark Prolog projects out there?
|
|
0
|
514
|
June 30, 2022
|
|
Update: Rules and visual syntax in Praxis
|
|
1
|
516
|
June 29, 2022
|
|
Unicode symbols, and a possible numerical paradox!
|
|
46
|
2167
|
June 27, 2022
|
|
Use `print` and `~p` instead of `write_term` and `~w`
|
|
1
|
447
|
June 26, 2022
|
|
Print vs quoted output of Unicode characters
|
|
2
|
722
|
June 25, 2022
|
|
[Mingw64/Win10] : swi-prolog can't locate foreign lib, pcre4pl
|
|
25
|
1014
|
June 19, 2022
|
|
Backtracking cannot see predicates changes when retract/assertz itself
|
|
4
|
682
|
June 16, 2022
|
|
Visual presentation of (is) in SWISH
|
|
10
|
636
|
June 12, 2022
|
|
Built-In Preprocessor for context arguments
|
|
22
|
1235
|
June 9, 2022
|
|
Loop invariants and prolog's relational state structures
|
|
4
|
534
|
June 7, 2022
|
|
(foreign functions) Safe release of resources during cleanup
|
|
14
|
700
|
June 4, 2022
|
|
[Mingw64/Win10/swi 8.4.2] : env option of process_create can't bear [] value
|
|
0
|
410
|
June 2, 2022
|
|
How work with socket?
|
|
5
|
546
|
June 3, 2022
|
|
Careful with sub_atom/5 and feature request last_sub_atom/5
|
|
24
|
751
|
June 1, 2022
|
|
[Win10/Msys2] : swipl hangs at startup
|
|
11
|
517
|
May 30, 2022
|
|
SWI-Prolog Search Documentation should support predicates in packs
|
|
0
|
410
|
May 25, 2022
|
|
Does SWI-Prolog have trigger system for dynamic database?
|
|
6
|
830
|
May 23, 2022
|
|
Singleton warnings, multitons warning
|
|
3
|
397
|
May 16, 2022
|
|
Relation as predicate name or predicate argument?
|
|
22
|
2453
|
May 11, 2022
|
|
Prolog convention of Pairs and Tuples
|
|
3
|
2627
|
May 9, 2022
|
|
Get html out of package(http)
|
|
9
|
512
|
May 3, 2022
|
|
Http server performance?
|
|
1
|
412
|
May 3, 2022
|
|
Syntax sugar aka sort-of-"macro"
|
|
5
|
561
|
April 24, 2022
|
|
Exists_file/1 and long relative paths and file names: wrong results
|
|
0
|
353
|
April 19, 2022
|
|
Blog Post: Embedding E-graph Rewriting and Egglog in Constraint Handling Rules
|
|
1
|
571
|
April 15, 2022
|
|
Java Prolog
|
|
21
|
1565
|
April 13, 2022
|
|
Documentation: autoload_all/0 small mistake
|
|
1
|
314
|
April 11, 2022
|
|
Documentation bug: Site and personal initialisation files
|
|
1
|
352
|
April 10, 2022
|