Imagine we have <..> for string interpolation, and $ to solve for a variable, and == for unification. then given name:string and value:int we can output with: s=print("<name>=<value>"). And parse with: if(s=="<$n:string>=<$i:int>) print("got name <n> and value <v>")
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
If you use a restricted logic language like Datalog, you can have an efficient implementation using backtracking and dynamic programming. When this implementation is applied to parsing a grammar, you get the Earley parsing algorithm. http://web.cecs.pdx.edu/~harry/earley/index.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.