[Feature:Autograding] Add Prolog image

[ION606]

Please check if the PR fulfills these requirements:

• Tests for the changes have been added/updated (if possible)
• Documentation has been updated/added if relevant

What is the current behavior?

none

What is the new behavior?

we can now run prolog files

Other information?

this is not a breaking change and I tested it using:

docker build -t prolog-environment .
docker run -it prolog-environment
  > swipl
      > ?- write('Hello, Prolog!'), nl.
      > ?- halt.

[ION606]

I'm still a bit confused on how to contribute to this repository, so if this is wrong please let me know.

[cjreed121]

It's typically preferred to try and lock dependencies for good reproducibility in builds. Can we lock swi-prolog to it's current major version? And if so, it would probably be good to have the tag name be that major version rather than latest.

[ION606]

It's typically preferred to try and lock dependencies for good reproducibility in builds. Can we lock swi-prolog to it's current major version? And if so, it would probably be good to have the tag name be that major version rather than latest.

swipl seems to not allow installing versions? I think? Trying to install it with any version resulted in the below error. I can install the dpkg manually (like they do here) but I don't know if that would take too long to get and compile and run.

[cjreed121]

Which version of prolog are you looking to install on this Docker image? Ubuntu repos for 22.04 only have up to 8.4.2. If you wanted to specify this version for apt you would use swi-prolog=8.4.2+dfsg-2ubuntu1 which was retrieved from https://packages.ubuntu.com/jammy/swi-prolog.

If you wanted a later version, you could look into using the PPA provided by swi-prolog. dpkg is definitely an option but let's try not to complicate this image too much.

[cjreed121]

Last thing is to change the latest dir name to 8 so the tag is submitty/prolog:8. Also want to wait until #44 is merged, then have you merge main back in so that the test runs properly.