Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Martin:

You should consider using the MFE (https://code.google.com/p/maude-formal-environment/) instead of KBC, where CRC, MTT, and ChC were integrated. 

Francisco

On 07/05/2014, at 04:00, Lee Martin CCNP <tesleft AT hotmail.com> wrote:

Hi 

what is the priority to load maude files in kbc.tar?

because when i load them in maude 2.6, i get many warning.

Regards,

Martin

---

Subject: Re: [Maude-help] how to use kbc tool for completion
From: duran AT lcc.uma.es
Date: Tue, 6 May 2014 13:04:29 +0200
CC: maude-help AT cs.uiuc.edu
To: tesleft AT hotmail.com

Hi Lee,

The messages suggest that you have either not loaded full-maude or the kbc.maude file. With the information you give I cannot say much more. 

Cheers,

Francisco

On 06/05/2014, at 12:53, Lee Martin CCNP <tesleft AT hotmail.com> wrote:

Hi

after load all files in kbc.tar and try example ex-kbc-group-1

run the code one by one, meet this error

Advisory: redefining view GROUP-I-ORDER.
Warning: <standard input>, line 61 (view GROUP-I-ORDER): module STRICT-ORDER
    does not exist.

Maude> load ex-kbc-group-I.fm
Warning: "ex-kbc-group-I.fm", line 1: bad token init.
Warning: "ex-kbc-group-I.fm", line 1: no parse for term.
Warning: no loop state.
Warning: "lpo.fm", line 2: unable to locate file: ext-bool.fm
Warning: "lpo.fm", line 4: unable to locate file: strict-order.fm
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: "kbo.fm", line 2: unable to locate file: ext-bool.fm
Warning: "kbo.fm", line 22: unable to locate file: strict-order.fm
Warning: "kbo.fm", line 24: unable to locate file: weight.fm
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.
Warning: no loop state.


Regards,

Martin

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help