Emir Uz

Ocaml Jupyter installation instruction incomplete

3

Installation instructions here: https://ocaml.xyz/tutorial/introduction.html These lines: ``` pip install jupyter opam install jupyter jupyter kernelspec install --name ocaml-jupyter "$(opam config var share)/jupyter" ``` the opam jupyter install wont create the...

Engineers example broken under sqlite

1

Code: %%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),...

Remote code execution possibility with pickled python objects

3

Hey thank you for this, but pickled objects in Python can be used to invoke remote code execution. It means I have to trust you in order to use this...

More examples?

1

Would it be possible to get a few non-trivial examples? Perhaps a solution to some of the 99 Prolog problems for example? If its possible to use logict to process...