logic-programming
Here are 715 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
May 3, 2022 - HTML
-
Updated
May 18, 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
May 19, 2022 - C++
-
Updated
May 11, 2022 - JavaScript
-
Updated
Apr 11, 2021 - Haskell
-
Updated
May 7, 2022 - Rust
-
Updated
May 16, 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
May 20, 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
May 17, 2020 - Swift
-
Updated
Jan 7, 2021 - C
-
Updated
Feb 24, 2021 - C++
-
Updated
May 12, 2022 - Rust
-
Updated
Aug 26, 2021 - Go
-
Updated
Apr 27, 2022 - Julia
-
Updated
Mar 7, 2022 - Jupyter Notebook
-
Updated
May 17, 2022 - Python
-
Updated
Mar 7, 2022 - Prolog
-
Updated
Jun 6, 2018 - Python
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