Lambda compiler?
|
|
1
|
422
|
May 20, 2020
|
Testing for nondeterminism in plunit
|
|
1
|
596
|
May 17, 2020
|
C - How is it possible to ensure that code doesn’t just crash due to a uncaught type error and pointers pointing randomly to memory
|
|
41
|
1636
|
May 14, 2020
|
Bracy part of `{X}/[Y,Z]>>foo(X,Y,Z)` - does it have any effect?
|
|
4
|
365
|
May 13, 2020
|
Tracked down the syntax highlighting config file for KDE's Kate Editor to colorize Prolog code
|
|
0
|
393
|
May 11, 2020
|
Decision diagram for the SWI-Prolog "pseudo-types"
|
|
22
|
2541
|
May 7, 2020
|
Why do unique module qualifiers match facts from other modules?
|
|
6
|
410
|
May 6, 2020
|
Plunit needs a small update
|
|
2
|
421
|
May 5, 2020
|
Trying out a new formatting style
|
|
19
|
1158
|
May 3, 2020
|
Prolog in big projects - industrial scale
|
|
17
|
1696
|
May 1, 2020
|
A little doubt on maplist/2
|
|
3
|
708
|
April 29, 2020
|
Suppress confusion! Two suggestions for the online docs (atom_codes/2, atom_chars/2)
|
|
3
|
656
|
April 26, 2020
|
Discord channel for PROLOG
|
|
5
|
3672
|
April 25, 2020
|
Quick Load Files
|
|
7
|
1541
|
April 18, 2020
|
Maybe add `vectorial_nth0/3`, `vectorial_replace/4` to library(lists)?
|
|
6
|
591
|
April 12, 2020
|
Rationals are now Numbers: The SWI Prolog doc needs an update
|
|
1
|
631
|
April 10, 2020
|
Discussion about web app
|
|
2
|
885
|
March 31, 2020
|
With Prolog is there a difference between bound and instantiated?
|
|
4
|
897
|
March 31, 2020
|
Allowing ord_del_element on non-ground compound terms?
|
|
2
|
395
|
March 29, 2020
|
PL_get_pointer returns FALSE
|
|
1
|
333
|
March 22, 2020
|
What is empty?
|
|
11
|
3753
|
March 20, 2020
|
Module loading
|
|
13
|
1637
|
March 13, 2020
|
Comments for cut (!), do you have guidelines
|
|
2
|
394
|
February 24, 2020
|
What's the connection between Prolog and graph database?
|
|
6
|
2435
|
February 22, 2020
|
Future of support for rational numbers
|
|
9
|
1252
|
January 24, 2020
|
Didactic usage example
|
|
4
|
544
|
January 17, 2020
|
Should the reference manual document differences between the current version and earlier versions?
|
|
1
|
353
|
December 25, 2019
|
Making a large prolog based knowledge base for bioinformatics/epidemiology
|
|
23
|
4671
|
December 16, 2019
|
Clarification about compound terms in the standard order of terms
|
|
4
|
343
|
December 8, 2019
|
Prolog interface to Windows "Text to Speech" and "Speech to Text"
|
|
0
|
304
|
September 27, 2019
|