|
Installing & calling scasp for SWI-Prolog
|
|
5
|
713
|
April 5, 2022
|
|
Probabilistic sat solver in cplint
|
|
2
|
516
|
April 2, 2022
|
|
Segfault via cplint / pita / dt_solve in version swipl: 8.4.1 cplint: 4.5.0
|
|
1
|
461
|
April 2, 2022
|
|
Cplint/pita forall / findall bug
|
|
6
|
585
|
March 31, 2022
|
|
Possible bug in cplint, example multinomial.pl does not end
|
|
2
|
482
|
March 30, 2022
|
|
Bug in cplint
|
|
4
|
538
|
March 29, 2022
|
|
XML Validator in SWI-Prolog
|
|
5
|
805
|
March 22, 2022
|
|
Package edcg needs module predicates to work, is there another abstraction level possible?
|
|
30
|
1061
|
March 4, 2022
|
|
How to start work with the latest PFC pack?
|
|
11
|
928
|
February 6, 2022
|
|
Interaction between CHR and CLP(R)
|
|
3
|
539
|
February 4, 2022
|
|
Stacktrace in prosqlite query
|
|
2
|
507
|
January 22, 2022
|
|
Pack with foreign code
|
|
4
|
559
|
November 11, 2021
|
|
Rserve_client: regression in 1.2.0
|
|
1
|
304
|
September 4, 2021
|
|
Remove meta from reply_html_page
|
|
15
|
1508
|
July 24, 2021
|
|
Debugging "Failed to process pack"
|
|
9
|
599
|
July 13, 2021
|
|
Cant find the redis client package?
|
|
6
|
678
|
June 16, 2021
|
|
Swipl embedded in R package
|
|
4
|
466
|
June 7, 2021
|
|
Returning memory to the OS
|
|
0
|
330
|
May 25, 2021
|
|
Ffi pack: enum values
|
|
1
|
403
|
May 19, 2021
|
|
Ffi pack
|
|
4
|
514
|
May 15, 2021
|
|
Setup package installed from github?
|
|
0
|
417
|
February 6, 2021
|
|
Pack: changed github url?
|
|
8
|
673
|
February 1, 2021
|
|
Wordnet search support?
|
|
2
|
570
|
January 24, 2021
|
|
Pack contents displayed as "Failed to process pack"
|
|
0
|
468
|
December 30, 2020
|
|
Pack_list certificate verify failed
|
|
5
|
1095
|
December 22, 2020
|
|
Need help installing library(real)
|
|
12
|
1779
|
November 2, 2020
|
|
Pfc from source - has weird constructs
|
|
4
|
525
|
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
|
502
|
July 22, 2020
|
|
Pfc pack (forward chaining) -- can't get to work
|
|
38
|
1863
|
July 21, 2020
|