[Feat] Add code formatter, type checker

[pingpingy1]

Is your feature request related to a problem? Please describe.
As evidenced by this year's projects, different people and even the same person could be highly inconsistent in their coding style.
As such, adding a code linter for both Python and Prolog could lead to a more managable project.
Moreover, by enforcing the Mypy type checking for Python, much unneccessary time and effort could be saved from debugging simple errors.

Describe the solution you'd like
Using Github Action, I'd like to use:

• Black formatter for Python
• Lint action to enforce Mypy checks
• Prolog code formatter (and possibly some type of sanitizer) (TBD)

Describe alternatives you've considered
It would also be beneficial to enforce such actions on the code editor like VSCode.
I should also look for extensions there.

Additional context

[pingpingy1]

I'm pretty sure no Prolog code formatters are available both for Github and VSCode...
I'll just need to keep the code legible... I guess?