|
Probabilistic sat solver in cplint
|
|
2
|
493
|
April 2, 2022
|
|
Segfault via cplint / pita / dt_solve in version swipl: 8.4.1 cplint: 4.5.0
|
|
1
|
440
|
April 2, 2022
|
|
Cplint/pita forall / findall bug
|
|
6
|
539
|
March 31, 2022
|
|
Possible bug in cplint, example multinomial.pl does not end
|
|
2
|
457
|
March 30, 2022
|
|
Bug in cplint
|
|
4
|
495
|
March 29, 2022
|
|
XML Validator in SWI-Prolog
|
|
5
|
743
|
March 22, 2022
|
|
Package edcg needs module predicates to work, is there another abstraction level possible?
|
|
30
|
893
|
March 4, 2022
|
|
How to start work with the latest PFC pack?
|
|
11
|
848
|
February 6, 2022
|
|
Interaction between CHR and CLP(R)
|
|
3
|
511
|
February 4, 2022
|
|
Stacktrace in prosqlite query
|
|
2
|
470
|
January 22, 2022
|
|
Pack with foreign code
|
|
4
|
513
|
November 11, 2021
|
|
Rserve_client: regression in 1.2.0
|
|
1
|
290
|
September 4, 2021
|
|
Remove meta from reply_html_page
|
|
15
|
1454
|
July 24, 2021
|
|
Debugging "Failed to process pack"
|
|
9
|
521
|
July 13, 2021
|
|
Cant find the redis client package?
|
|
6
|
620
|
June 16, 2021
|
|
Swipl embedded in R package
|
|
4
|
431
|
June 7, 2021
|
|
Returning memory to the OS
|
|
0
|
323
|
May 25, 2021
|
|
Ffi pack: enum values
|
|
1
|
386
|
May 19, 2021
|
|
Ffi pack
|
|
4
|
480
|
May 15, 2021
|
|
Setup package installed from github?
|
|
0
|
401
|
February 6, 2021
|
|
Pack: changed github url?
|
|
8
|
620
|
February 1, 2021
|
|
Wordnet search support?
|
|
2
|
551
|
January 24, 2021
|
|
Pack contents displayed as "Failed to process pack"
|
|
0
|
448
|
December 30, 2020
|
|
Pack_list certificate verify failed
|
|
5
|
1043
|
December 22, 2020
|
|
Need help installing library(real)
|
|
12
|
1691
|
November 2, 2020
|
|
Pfc from source - has weird constructs
|
|
4
|
473
|
July 22, 2020
|
|
Pfc: call to a { goal(abc) } on the rhs adds the baseKB prefix baseKB:goal(abc) and fails to + remedy
|
|
0
|
410
|
July 22, 2020
|
|
Pfc - upgraded, seems to have some issues with forward chaining
|
|
1
|
481
|
July 22, 2020
|
|
Pfc pack (forward chaining) -- can't get to work
|
|
38
|
1636
|
July 21, 2020
|
|
Pfc -- ain/1 succeeds on command line, but fails when called within module
|
|
3
|
517
|
July 21, 2020
|