logic-programming
Here are 663 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
Feb 20, 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
Feb 11, 2022 - Clojure
Per discussion in #2743 this class is mis-named.
Also, rename LinkStreamValue to just plain LinkStream.
-
Updated
Feb 22, 2022 - C++
-
Updated
Feb 8, 2022 - JavaScript
-
Updated
Apr 11, 2021 - Haskell
-
Updated
Feb 26, 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 26, 2022 - Prolog
-
Updated
Feb 8, 2022
-
Updated
Nov 7, 2021 - Shen
-
Updated
Jan 5, 2022 - Haskell
-
Updated
Feb 24, 2022 - Rust
-
Updated
Feb 23, 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
Feb 23, 2022 - Rust
-
Updated
Aug 26, 2021 - Go
-
Updated
Feb 6, 2022 - Julia
-
Updated
Oct 15, 2021 - Jupyter Notebook
-
Updated
Feb 25, 2022 - Prolog
-
Updated
Jun 6, 2018 - Python
-
Updated
Aug 31, 2019 - 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=1environment 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