Hello everyone :-) I made *Rewrite*, a minimalist s-expression pattern matcher and replacer in about 400 javascript lines of code. It is in fact a substitution mechanism supporting constants and untyped variables. Although this may not sound much at the first glance, you can do pretty cool stuff with it, such as proof construction for different kinds of logic, truth table calculations, or even combinatorial problem solving.
You can try it in online playground here: https://contrast-zone.github.io/rewrite/playground/index.html. There, you can find and run a few examples which are composed gradually increasing their complexity and usability. *Rewrite* instructions and freely open source code are available at the project GitHub pages: https://github.com/contrast-zone/rewrite. If you like the project, please don't hesitate to leave me a star. I collect them :-) If you have any questions, comments, suggestions or criticism, please feel free to drop them here. Any feedback would be welcome. Thank you for your time, ivan ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T9019734479a51fd8-M01eaaaa572cc14ca5d63590f Delivery options: https://agi.topicbox.com/groups/agi/subscription
