-
pasta Public
Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statements.
-
aspmc Public
Forked from raki123/aspmcAn efficient compilation based algebraic answer set counter.
Python MIT License UpdatedNov 13, 2024 -
plstat Public
Statistics using prolog
-
gentians Public
GENTIANS: GENeTic algoritm for Inductive learning of ANswer Set programs.
Python UpdatedOct 4, 2024 -
ltools Public
Lists manipulation and combinatorics in Prolog.
Prolog GNU General Public License v3.0 UpdatedSep 30, 2024 -
-
probat Public
Property based testing Prolog programs.
-
-
-
symbolicdiff Public
Symbolic differentiation and more
-
-
plplot Public
Plot graphs in SWI Prolog using plplot
-
swipl-devel Public
Forked from SWI-Prolog/swipl-develMain development repository
C Other UpdatedDec 21, 2020 -
bitcoin Public
Forked from bitcoin/bitcoinBitcoin Core integration/staging tree
C++ MIT License UpdatedAug 17, 2020 -
graphpl Public
SWI prolog package to manage graphs
-
matrixOperations Public
Common matrix operations implemented in prolog
-
solidity Public
Forked from ethereum/soliditySolidity, the Contract-Oriented Programming Language
{{ message }}