Fibo Kowalsky

Hi @zeidspex, the colab notebook has detailed scripts that show how to convert SICK txt data into the expected prolog format: https://colab.research.google.com/drive/10GjzWm6hO5yqjslYXrAjkasyM7L1s2B0?usp=sharing source: https://naturallogic.pro/Teaching/esslli22/

Hi, thanks for trying out the prover. The demo page uses a CGI script written in python that does more or less the same as what is in the notebook,...