Porting the SWI-Prolog benchmark suite: comparing 8 Prolog systems
|
|
27
|
987
|
November 29, 2023
|
Advent of code 2023
|
|
247
|
2165
|
January 7, 2024
|
Cooking: internal data representation
|
|
17
|
306
|
April 10, 2024
|
A bundled Python interface
|
|
93
|
1608
|
August 21, 2023
|
Ann: SWI-Prolog 9.2.0 (stable) and 9.3.0 (new devel series)
|
|
41
|
830
|
March 11, 2024
|
Autumn Challenge 2023: Lion and Unicorn
|
|
80
|
980
|
December 14, 2023
|
Llm: swi-prolog and large language models
|
|
16
|
949
|
September 6, 2023
|
Ann: SWI-Prolog 9.1.11
|
|
15
|
527
|
August 2, 2023
|
Can anyone recommend a good book for learning modern Prolog?
|
|
10
|
1324
|
June 18, 2023
|
New Prolog mode for VS Code
|
|
14
|
378
|
April 2, 2024
|
Is there is way to monetary contributions?
|
|
9
|
275
|
March 7, 2024
|
Windows MIDI interface
|
|
103
|
1235
|
December 1, 2023
|
Blog post on graphical grammars
|
|
18
|
385
|
November 11, 2023
|
The similarity between Haskell and Prolog
|
|
43
|
1351
|
March 15, 2024
|
Advice on implementing Dijkstra's algorithm
|
|
44
|
1240
|
January 14, 2024
|
Prolog in the age of generative AI
|
|
24
|
1249
|
July 22, 2023
|
What does "Modern Prolog" mean?
|
|
22
|
698
|
June 27, 2023
|
Ann: SWI-Prolog 9.1.17
|
|
19
|
430
|
October 24, 2023
|
ISO incompatibility in (\+)/1 handling
|
|
29
|
677
|
November 11, 2023
|
Thank you for swish and clpBNR!
|
|
10
|
145
|
April 11, 2024
|
Findall/3 surprise
|
|
29
|
806
|
July 24, 2023
|
Use of `attribute_goals//1` to compose answers
|
|
41
|
505
|
December 19, 2023
|
Ann: SWI-Prolog 9.1.16
|
|
11
|
419
|
September 30, 2023
|
Command line scripts
|
|
9
|
426
|
November 20, 2023
|
Dealing with state
|
|
40
|
818
|
October 7, 2023
|
Rich UI for Prolog
|
|
30
|
915
|
April 5, 2024
|
The book Prolog: The Next 50 Years
|
|
0
|
366
|
June 29, 2023
|
Ann: SWI-Prolog 9.1.19
|
|
14
|
296
|
November 18, 2023
|
Lapack
|
|
41
|
634
|
January 10, 2024
|
Predicate that always returns true
|
|
17
|
806
|
July 28, 2023
|
When are evaluable functions looked up?
|
|
40
|
594
|
September 29, 2023
|
Autum Challenge: Short Deadfish Numbers
|
|
41
|
602
|
October 18, 2023
|
Code review, advantages and disadvantages of these two ways of writing a predicate
|
|
17
|
432
|
September 2, 2023
|
Ann: SWI-Prolog 9.1.20
|
|
23
|
328
|
December 11, 2023
|
Using `format/2` with attributed variable on a pengine
|
|
26
|
546
|
December 7, 2023
|
How to build a table in parallel
|
|
20
|
347
|
March 21, 2024
|
Lion and Unicorn with Prolog SAT Solver
|
|
21
|
620
|
December 11, 2023
|
Documentation of user-defined predicates in the prolog lsp-server
|
|
32
|
559
|
October 25, 2023
|
How to get shell echo in Prolog variables
|
|
23
|
605
|
May 16, 2023
|
Ann: SWI-Prolog 9.3.4
|
|
11
|
111
|
April 26, 2024
|
Symbolic links to source files and finding relative files?
|
|
9
|
711
|
October 15, 2023
|
Interval arithmetic and Prolog
|
|
17
|
294
|
January 23, 2024
|
Predicate member/2 - Reflections based on "The Craft of Prolog" by Richard O'Keefe
|
|
21
|
454
|
November 4, 2023
|
Why does my predicate always return true instead of binding the variables?
|
|
15
|
505
|
September 3, 2023
|
Web server.I can't figure out how to do it
|
|
26
|
400
|
December 1, 2023
|
Conditional doesn't backtrack for solution
|
|
33
|
409
|
February 13, 2024
|
1brc -- Billion row challenge
|
|
36
|
367
|
March 27, 2024
|
Why does this give a choicepoint?
|
|
24
|
455
|
August 22, 2023
|
How are Prolog and CHR supposed to interact?
|
|
21
|
496
|
December 23, 2023
|
Benchmarking [CLP(B) libraries and other stuff]
|
|
20
|
483
|
November 24, 2023
|