<img width="340" alt="Image" src="https://github.com/user-attachments/assets/b37c9d18-eccd-4d4e-91a1-a8c89bc24d0a" /> Does the prolog_inference.py code have any requirements for installing pyswip, or are there any specific operating system version requirements?