logic-programming
Here are 683 public repositories matching this topic...
It would be great to do a somewhat rigorous analysis of whether there are performance issues when query is written in Logica vs SQL.
-
Updated
Mar 9, 2022 - HTML
-
Updated
Feb 15, 2022 - Clojure
Refactor array tests
- Cleanup the tests
- Move module-specific tests into their own modules
- Rename the test case functions as we do in benchmarks
-
Updated
Mar 2, 2022 - Clojure
Per discussion in #2743 this class is mis-named.
Also, rename LinkStreamValue
to just plain LinkStream
.
-
Updated
Mar 22, 2022 - C++
-
Updated
Mar 4, 2022 - JavaScript
-
Updated
Apr 11, 2021 - Haskell
-
Updated
Mar 22, 2022 - Go
Hi there,
Thanks for this amazing module.
I think there is a problem with the way terms are printed.
I run some Prolog code from Python, querying Prolog with:
H = pyswip.Variable()
induce = pyswip.Functor('induce', 1)
q = Query(induce(H))
q.nextSolution()
print(H.value)
I get a result like this for H:
[Functor(319757,2,
[Functor(9048461,3,_10560234,_10560236,_1056023
-
Updated
Feb 8, 2022
-
Updated
Mar 5, 2022 - Rust
-
Updated
Mar 22, 2022 - Prolog
-
Updated
Jan 5, 2022 - Haskell
-
Updated
Mar 6, 2022 - Shen
-
Updated
Mar 2, 2022 - Rust
-
Updated
Aug 9, 2021 - Prolog
-
Updated
May 13, 2019 - Python
-
Updated
Jan 7, 2021 - C
-
Updated
May 17, 2020 - Swift
-
Updated
Feb 24, 2021 - C++
-
Updated
Mar 10, 2022 - Rust
-
Updated
Aug 26, 2021 - Go
-
Updated
Mar 7, 2022 - Jupyter Notebook
-
Updated
Mar 21, 2022 - Julia
-
Updated
Mar 7, 2022 - Prolog
-
Updated
Jun 6, 2018 - Python
-
Updated
Mar 16, 2022 - Clojure
Improve this page
Add a description, image, and links to the logic-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logic-programming topic, visit your repo's landing page and select "manage topics."
With oso 0.11.1 and Rust client code.
When tracking down policy logic failures using the
POLAR_LOG=1
environment variable I will see the logging of the execution of all of my inline queries. The problem is that I have lots of these, but usually I'm not interested in the ones in my core policy files which are fairly static and unchanging, but rather I'm interested in those policy sources that