2 ms·
Yeah, checkout Maude--really woefully underutilized. Some fascinating things around pathway logic that are applied to biology: http://pl.csl.sri.com http://pl.c
by codekilla 7y ago
Yeah, checkout Maude--really woefully underutilized. Some fascinating things around pathway logic that are applied to biology: http://pl.csl.sri.com http://pl.csl.sri.com
- koeng 7y agoThat's amazing! I've never found that site before but I'm going to read some of their papers. Thank you for linking
- codekilla 7y agoMaude 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
- koeng 7y agoIs there any reason why Maude is cooler than Prolog? Concurrency? Also - will email you!