Something went wrong. Try again.
A prose-themed programming language optimized for minimizing symbols.
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384/** * Authors: Joseph Hale, Jacob Janes, Rithvik Arun, Sai Nishanth Vaka, and Jacob Hreshchyshyn * Purpose: CLI for executing Codeable * Date: 29 Apr 2022 * Version: 0.1.0 */
const fs = require('fs');const pl = require('tau-prolog');let INTERPRETER_CODE_PATH = "codeable.pl";
function tokenizeExecute(fileName){ var data = "" fs.readFile(fileName, 'utf8', (err, data) => { if (err) { console.error(err); return; } // console.log(data); let session = pl.create(); session.consult(INTERPRETER_CODE_PATH, { success: () => { console.log("[INFO] Loaded interpreter source code"); loadQueryEx(session, data); }, error: (err) => { console.log("[ERROR] Failed to load interpreter source code"); console.log(err); }, }); });}
function tokenizer(fulltext) { var tokens = fulltext.split(/\s/).filter((token) => token.length > 0); return tokens;}
// Create the query (parse the query).function loadQueryEx(session, programText) { var tokens = tokenizer(programText); var formattedTokens = JSON.stringify(tokens).replaceAll('"', ""); var completeQuery = `program(P, ${formattedTokens}, []), eval(P, [], EnvOut, ValueOut).`; // console.log(completeQuery); session.query(completeQuery, { success: function (goal) { /* Goal parsed correctly */ console.log("Successfully parsed query!"); // console.log(goal); findAnswerEx(session); }, error: function (err) { console.log("[ERROR] Failed to parse query"); console.log(err); }, }); } function findAnswerEx(session) { // Execute the query (execute the goal). session.answer({ success: function (answer) { // console.log("==:ANSWER:==") //console.log(answer); // {X/apple} }, error: function (err) { /* Uncaught error */ console.log("Error: " + err); }, fail: function () { /* No more answers */ console.log("No more answers!"); }, limit: function () { /* Limit exceeded */ console.log("Limit exceeded!"); }, }); } const myArgs = process.argv.slice(2); tokenizeExecute(myArgs[0]);