ENTITY
SWI-Prolog
SWI-Prolog
PulseAugur coverage of SWI-Prolog — every cluster mentioning SWI-Prolog across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
WAMpy framework accelerates Prolog program synthesis in Python
Researchers have developed WAMpy, a Python framework designed for the efficient synthesis of Prolog programs. This system is particularly suited for tasks involving the repeated generation and evaluation of small candid…
-
New binarized-domains arc-consistency algorithm for TCSPs introduced
This paper introduces a novel algorithm called bdAC-3, designed to achieve binarized-domains Arc-Consistency (bdArc-Consistency) for Temporal Constraint Satisfaction Problems (TCSPs). The algorithm is an adaptation of M…