That's amazing! I've never found that site before but I'm going to read some of their papers. Thank you for linking
Maude fascinates me to no end. Currently I'm actually re-learning kdb+/q as I want to implement some things related to bioinformatics using it, but at some point I'd really like to do some things with logic/dependent types in biology. Happy to chat further grant <at> eonias dot org
Is there any reason why Maude is cooler than Prolog? Concurrency? Also - will email you!