Integrate Prolog

[TimothyGillespie]

The goal of this task is to make prolog-programs basically runnable in our browser-environment.

A good starting point for this is the khazuar/tau-prolog-branch, which is already installing the package via npm and importing it into a file containing a wrapper-class, handling basic in- and output.

Open problems:

• how to deal with write operations inside prolog? These seem to go to the javascript-console for now. We'd like to get them as separate result from the VM.
• Transform output into something more useable.
• Change the result to a Async Iterator. This should make it possible to deal with non-terminating prolog-programs. fun
• Does the core-library contain all the functions we need for diproche? Are there differences in the behavior of tau-prolog and SWI-prolog?

The final result should contain a few more test-cases to demonstrate that these problems have been solved and how to use them. (Test-cases are wonderful for other programmers as examples).

[Khazuar]

Suggestion: We might want to create a separate typescript project, that is bundling the prolog-code and the virtual machine to execute it and offers nice and clean methods to use it. We can then include that "wrapper" project into webinterface via an npm package.

[TimothyGillespie]

Repened because of differences between tau-prolog and SWI-Prolog (which diproche has been developed in) the current solution will not work with diproche. Currently we are using a SWI-Prolog Server which doesn't fully satisfy the requirements.