logic-programming

TODO

• JS
  https://github.com/osohq/oso/blob/7602f25204b5790231dcadb9ea5fd5bd4e37a55d/languages/js/src/Host.ts#L558-L559
• Go
  https://github.com/osohq/oso/blob/7602f25204b5790231dcadb9ea5fd5bd4e37a55d/languages/go/internal/host/host.go#L390-L393

Done

• Python
  https://github.com/osohq/oso/blob/7602f25204b5790231dcadb9ea5fd5bd4e37a55d/languages/python/oso/polar/ho

Hi,

%%logica Engineers

@Engine("sqlite");

Employee(name: "Alice", role: "Product Manager");
Employee(name: "Bob", role: "Engineer");
Employee(name: "Caroline", role: "Engineer");
Employee(name: "David", role: "Data Scientist");
Employee(name: "Eve", role: "Data Scientist");

Engineers(..r) :- Employee(..r), r.role == "Engineer";  # <====== This fails
# Engineers(name:, role:) :-

• Cleanup the tests
• Move module-specific tests into their own modules
• Rename the test case functions as we do in benchmarks

Per discussion in #2743 this class is mis-named.

Also, rename LinkStreamValue to just plain LinkStream.

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