Draft Trealla/Prolog Implementation

packages/host/src/index.ts

@@ -56,6 +56,9 @@ export function runtimeToSyntax(runtime: string | undefined | null): Syntax {
   if (runtime == "ruby") {
     return "ruby";
   }
+  if (runtime == "trealla") {
+    return "prolog";
+  }
   return undefined;
 }
 

packages/host/src/types.ts

@@ -4,8 +4,17 @@ export type Runtime =
   | "sqlite"
   | "clang"
   | "clangpp"
-  | "ruby";
-export type Syntax = "python" | "js" | "sql" | "cpp" | "ruby" | undefined;
+  | "ruby"
+  | "trealla";
+
+export type Syntax =
+  | "python"
+  | "js"
+  | "sql"
+  | "cpp"
+  | "ruby"
+  | "prolog"
+  | undefined;
 
 export type CommandResult = {
   stdin: string;

packages/runtime/src/provider.ts

@@ -34,6 +34,12 @@ function commandsForRuntime(name: string, entryPath: string): RuntimeCommands {
     return { run: `cat ${entryPath} | sqlite` };
   }
 
+  if (name === "trealla") {
+    return {
+      run: `tpl --library / --trace -g main,halt -f ${entryPath}`,
+    };
+  }
+
   if (name === "clang") {
     return {
       prepare: [
@@ -110,7 +116,12 @@ export class RunnoProvider implements RuntimeMethods {
     return Promise.resolve(this.editor.program);
   }
 
-  interactiveRunCode(runtime: Runtime, code: string): Promise<RunResult> {
+  async interactiveRunCode(runtime: Runtime, code: string): Promise<RunResult> {
+    if (runtime === "trealla") {
+      return await this.interactiveRunFS(runtime, "program.pl", {
+        "program.pl": { name: "program.pl", content: code },
+      });
+    }
     return this.interactiveRunFS(runtime, "program", {
       program: { name: "program", content: code },
     });

packages/website/src/components/form.ts

@@ -117,6 +117,7 @@ export class WebsiteForm extends TailwindElement {
             <option value="sqlite">SQL (SQLite)</option>
             <option value="clang">C (clang)</option>
             <option value="clangpp">C++ (clang)</option>
+            <option value="trealla">Prolog (Trealla)</option>
           </select>
         </label>
 

packages/website/src/examples.ts

@@ -59,6 +59,11 @@ SELECT "Hello, World!";
 SELECT "G'day, welcome to Runno.";
 `.trimStart();
 
+const trealla = `
+main :-
+    write('hello world').
+`.trimStart();
+
 export function exampleForRuntime(name: Runtime): string {
   if (name == "sqlite") {
     return sqlite;
@@ -84,5 +89,9 @@ export function exampleForRuntime(name: Runtime): string {
     return ruby;
   }
 
+  if (name == "trealla") {
+    return trealla;
+  }
+
   return "";
 }

packages/website/src/pages/docs.ts

@@ -538,6 +538,14 @@ Cross-Origin-Embedder-Policy: require-corp</code></pre>
                 <code>clangpp</code> - Compiles and runs C++ code using the same
                 llvm fork.
               </li>
+              <li>
+                <code>trealla</code> - Runs Prolog using the
+                <a
+                  target="_blank"
+                  href="https://github.com/trealla-prolog/trealla"
+                  >Trealla implementation</a
+                >.
+              </li>
             </ul>
 
             <p>