|
Probabilistic sat solver in cplint
|
|
2
|
497
|
April 2, 2022
|
|
Segfault via cplint / pita / dt_solve in version swipl: 8.4.1 cplint: 4.5.0
|
|
1
|
446
|
April 2, 2022
|
|
Cplint/pita forall / findall bug
|
|
6
|
551
|
March 31, 2022
|
|
Possible bug in cplint, example multinomial.pl does not end
|
|
2
|
467
|
March 30, 2022
|
|
Bug in cplint
|
|
4
|
504
|
March 29, 2022
|
|
XML Validator in SWI-Prolog
|
|
5
|
758
|
March 22, 2022
|
|
Package edcg needs module predicates to work, is there another abstraction level possible?
|
|
30
|
910
|
March 4, 2022
|
|
How to start work with the latest PFC pack?
|
|
11
|
850
|
February 6, 2022
|
|
Interaction between CHR and CLP(R)
|
|
3
|
511
|
February 4, 2022
|
|
Stacktrace in prosqlite query
|
|
2
|
478
|
January 22, 2022
|
|
Pack with foreign code
|
|
4
|
515
|
November 11, 2021
|
|
Rserve_client: regression in 1.2.0
|
|
1
|
293
|
September 4, 2021
|
|
Remove meta from reply_html_page
|
|
15
|
1457
|
July 24, 2021
|
|
Debugging "Failed to process pack"
|
|
9
|
555
|
July 13, 2021
|
|
Cant find the redis client package?
|
|
6
|
633
|
June 16, 2021
|
|
Swipl embedded in R package
|
|
4
|
434
|
June 7, 2021
|
|
Returning memory to the OS
|
|
0
|
324
|
May 25, 2021
|
|
Ffi pack: enum values
|
|
1
|
389
|
May 19, 2021
|
|
Ffi pack
|
|
4
|
487
|
May 15, 2021
|
|
Setup package installed from github?
|
|
0
|
404
|
February 6, 2021
|
|
Pack: changed github url?
|
|
8
|
634
|
February 1, 2021
|
|
Wordnet search support?
|
|
2
|
551
|
January 24, 2021
|
|
Pack contents displayed as "Failed to process pack"
|
|
0
|
454
|
December 30, 2020
|
|
Pack_list certificate verify failed
|
|
5
|
1048
|
December 22, 2020
|
|
Need help installing library(real)
|
|
12
|
1706
|
November 2, 2020
|
|
Pfc from source - has weird constructs
|
|
4
|
480
|
July 22, 2020
|
|
Pfc: call to a { goal(abc) } on the rhs adds the baseKB prefix baseKB:goal(abc) and fails to + remedy
|
|
0
|
412
|
July 22, 2020
|
|
Pfc - upgraded, seems to have some issues with forward chaining
|
|
1
|
486
|
July 22, 2020
|
|
Pfc pack (forward chaining) -- can't get to work
|
|
38
|
1677
|
July 21, 2020
|
|
Pfc -- ain/1 succeeds on command line, but fails when called within module
|
|
3
|
522
|
July 21, 2020
|