265 |
Build fails with implicit-int in a configure test probe |
Performance problem |
open |
|
Eli Schwartz |
2024-03-15
|
2024-05-15
|
5 |
|
264 |
Build fails with strict-aliasing violations. |
Performance problem |
open |
|
Eli Schwartz |
2024-03-15
|
2024-05-15
|
5 |
|
263 |
predicate_property/2 |
Core Dump |
open |
|
Felix Weitkämper |
2023-07-29
|
2023-08-03
|
5 |
|
262 |
Missing predicates in Mcintyre |
Other |
open |
|
Felix Weitkämper |
2023-07-26
|
2023-12-18
|
5 |
|
261 |
Performance of the list comprehension predicates |
Performance problem |
open |
|
Felix Weitkämper |
2023-06-26
|
2023-07-18
|
5 |
|
260 |
longjmp error |
Core Dump |
open |
|
Felix Weitkämper |
2023-06-15
|
2023-06-20
|
5 |
|
259 |
Packaging XSB for Guix |
Other |
open |
|
Alvin Hsu |
2023-06-01
|
2024-03-01
|
5 |
|
258 |
Numerical lists in the C-Interface |
Other |
open |
|
Felix Weitkämper |
2023-05-16
|
2023-05-16
|
5 |
|
257 |
A question on recursive query |
wrong answer |
open |
|
chi |
2022-12-06
|
2022-12-15
|
5 |
|
256 |
A minor question on negation in recursive query |
wrong answer |
open |
|
chi |
2022-12-05
|
2022-12-05
|
5 |
|
255 |
The Datalog engine hang on recursive query |
wrong answer |
open |
|
chi |
2022-11-28
|
2022-11-29
|
5 |
|
254 |
How can I execute a program with command line or python directly |
Other |
open |
|
chi |
2022-11-22
|
2022-11-28
|
5 |
|
253 |
partial order asnwer subsumption question |
Other |
open |
|
Christophe Rey |
2022-10-04
|
2022-10-04
|
5 |
|
252 |
Documentation error for associative tries |
Other |
open |
|
BlackRedYellow |
2021-12-20
|
2021-12-20
|
5 |
|
251 |
sgml2pl parser compile error |
Other |
open |
|
Tuncay Tekle |
2021-11-15
|
2021-11-15
|
5 |
|
250 |
unexpected answer with well founded semantics |
wrong answer |
open |
|
Christophe Rey |
2021-07-14
|
2021-07-14
|
5 |
|
244 |
XSB interactive promt not working macOS Big Sur 11.1 |
Other |
open |
|
Maxime Jakubowski |
2021-03-04
|
2021-03-04
|
5 |
|
243 |
XSB Error with MulVal |
Performance problem |
open |
XSB development team
|
Adeel Malik |
2020-05-20
|
2020-05-20
|
5 |
|
242 |
Ctrl-C stops the computation of goals specified by the -e option instead of creating a break |
Wish List |
open |
|
Ed Schwartz |
2018-11-01
|
2018-11-05
|
5 |
|
241 |
Shared directory install needs to precompile for non-root users. |
Other |
open |
|
Jim Bowery |
2018-07-01
|
2018-07-01
|
5 |
|