Maude-help mailing list

[Scott Christley <schristley AT mac.com>]

Hi Konrad,

The technique I use is to write a simple program that translates the data 
into Maude statements and writes those statements to a file.  Then I load 
that file in Maude to do rewrites and etc.

Scott

On Jul 11, 2014, at 11:36 AM, Konrad Hinsen 
<konrad.hinsen AT fastmail.net>
 wrote:

> Hi everyone,
> 
> I am exploring Maude with the intention to use it for defining
> scientific models in computational physics and chemistry. One
> very pragmatic problem I run into is that I don't see how I can
> get any data from a file into Maude. The manual somehow hints at
> using "external objects" but doesn't give a concrete example.
> 
> My goal is to build a term representing a molecular structure from a
> file describing that molecular structure, and then modify this term
> using rewrite rules. Are there examples somewhere for something along
> these lines?
> 
> Konrad.
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help