lps-js / lps.js Goto Github PK

implement a DOM library for LPS. maybe this needs to be a separate plugin?

For string literals in the syntax, the escape character '' is yet to be implemented.

Proper error handling is needed in P2P module.

Currently when a program starts and the tracker is not turned on, the program crashes with an error.

Hey, so at the SWISH version of lps, it seems kind of possible to also use some kind of formal english as strings, and parse that. Is that possible with lps.js as well? I tried to find more explanations about it, but so far it is not very well documented and also in the code I could not find it. In the length of interpreter.P, it seems like it could parse text, but I'm not sure and definitely do not find en() defined. Do you maybe have any insights into that? ( I aim to compare multiple similar implementations and languages from a contract point of view)

When recursive terms appear in the antecedent of rules, the rules pre-processing step does not terminate.

One way to replicate this issue is to run the gameOfLife.lps program in the examples folder.