Term Rewriting with Prolog

Описание к видео Term Rewriting with Prolog

Prolog is very suitable for implementing and reasoning about term rewriting systems. More information: https://www.metalevel.at/trs/

Комментарии

Информация по комментариям в разработке