Sunday, December 22, 2013

Maude

Maude is a rewriting logic system for doing pretty much the same things as other logic programming tools.

No comments:

Post a Comment