The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Louise Alternatives
Similar projects and alternatives to louise
-
-
microKanren-py
Discontinued Simple python3 implementation of microKanren with lots of type annotations for clarity
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
-
mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
-
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
-
-
louise reviews and mentions
-
Prolog for future AI
and this is a cool repo to track: https://github.com/stassa/louise
-
Potassco: The Answer Set Solving Collection
Thanks, that's a nice example.
>> For an example. The potential hypothesis here are pre generated, but you can imagine an algorithm or adapt an existing one with a tight generalise/specialise loop.
Yes! I'm thinking of how to adapt Louise (https://github.com/stassa/louise) to do that. The fact that s(CASP) is basically a Prolog-y version of ASP (with constraints) could make it a very natural sort of modification. Or, of course, there's always Well-Founded Semantics (https://www.swi-prolog.org/pldoc/man?section=WFS).
-
Annotated implementation of microKanren: an embeddable logic language
Note you can do machine learning of logic programs. My PhD research:
https://github.com/stassa/louise
In which case it _is_ machine learning and it still really works :D
-
A note from our sponsor - WorkOS
workos.com | 29 Mar 2024
Stats
stassa/louise is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of louise is Prolog.