|
Installing & calling scasp for SWI-Prolog
|
|
5
|
706
|
April 5, 2022
|
|
Probabilistic sat solver in cplint
|
|
2
|
512
|
April 2, 2022
|
|
Segfault via cplint / pita / dt_solve in version swipl: 8.4.1 cplint: 4.5.0
|
|
1
|
459
|
April 2, 2022
|
|
Cplint/pita forall / findall bug
|
|
6
|
577
|
March 31, 2022
|
|
Possible bug in cplint, example multinomial.pl does not end
|
|
2
|
482
|
March 30, 2022
|
|
Bug in cplint
|
|
4
|
533
|
March 29, 2022
|
|
XML Validator in SWI-Prolog
|
|
5
|
788
|
March 22, 2022
|
|
Package edcg needs module predicates to work, is there another abstraction level possible?
|
|
30
|
1030
|
March 4, 2022
|
|
How to start work with the latest PFC pack?
|
|
11
|
905
|
February 6, 2022
|
|
Interaction between CHR and CLP(R)
|
|
3
|
534
|
February 4, 2022
|
|
Stacktrace in prosqlite query
|
|
2
|
500
|
January 22, 2022
|
|
Pack with foreign code
|
|
4
|
540
|
November 11, 2021
|
|
Rserve_client: regression in 1.2.0
|
|
1
|
302
|
September 4, 2021
|
|
Remove meta from reply_html_page
|
|
15
|
1505
|
July 24, 2021
|
|
Debugging "Failed to process pack"
|
|
9
|
592
|
July 13, 2021
|
|
Cant find the redis client package?
|
|
6
|
658
|
June 16, 2021
|
|
Swipl embedded in R package
|
|
4
|
454
|
June 7, 2021
|
|
Returning memory to the OS
|
|
0
|
330
|
May 25, 2021
|
|
Ffi pack: enum values
|
|
1
|
402
|
May 19, 2021
|
|
Ffi pack
|
|
4
|
511
|
May 15, 2021
|
|
Setup package installed from github?
|
|
0
|
413
|
February 6, 2021
|
|
Pack: changed github url?
|
|
8
|
664
|
February 1, 2021
|
|
Wordnet search support?
|
|
2
|
567
|
January 24, 2021
|
|
Pack contents displayed as "Failed to process pack"
|
|
0
|
465
|
December 30, 2020
|
|
Pack_list certificate verify failed
|
|
5
|
1083
|
December 22, 2020
|
|
Need help installing library(real)
|
|
12
|
1759
|
November 2, 2020
|
|
Pfc from source - has weird constructs
|
|
4
|
515
|
July 22, 2020
|
|
Pfc: call to a { goal(abc) } on the rhs adds the baseKB prefix baseKB:goal(abc) and fails to + remedy
|
|
0
|
418
|
July 22, 2020
|
|
Pfc - upgraded, seems to have some issues with forward chaining
|
|
1
|
496
|
July 22, 2020
|
|
Pfc pack (forward chaining) -- can't get to work
|
|
38
|
1834
|
July 21, 2020
|