Sign in to confirm you’re not a bot
This helps protect our community. Learn more

Term Rewriting with Prolog

The Power of Prolog
6.15K subscribers
<__slot-el>
<__slot-el>
4.6K views 5 years ago
Prolog is very suitable for implementing and reasoning about term rewriting systems. More information: https://www.metalevel.at/trs/ ...more
...more
Term Rewriting with Prolog
130Likes
4,660Views
2019Aug 23
Prolog is very suitable for implementing and reasoning about term rewriting systems. More information: https://www.metalevel.at/trs/

Follow along using the transcript.

The Power of Prolog

6.15K subscribers