Maude-help mailing list

[Francisco Duran <duran AT lcc.uma.es>]

> - Where can I find this files?

You can find them attached to this email.

> - Is there a compatible version of the Knuth Bendix completion with maude2?

It hasn't been updated yet.

F. Durán
(fmod EXT-BOOL is
   op _andThen_ : Bool Bool -> Bool [assoc strat (1 0 2 0) prec 55] .
   op _orElse_ : Bool Bool -> Bool [assoc strat (1 0 2 0) prec 59] .
   var B : Bool .
   eq false andThen B = false . 
   eq true andThen B = B .
   eq true orElse B = true .
   eq false orElse B = B .
 endfm)
  (fth STRICT-ORDER is
   *** A strict order is a transitive and irreflexive relation.
   pr QID .
   op _>>_ : Qid Qid -> Bool .
   vars A B C : Qid .
   ceq A >> B = false if B >> A .
   ceq A >> C = true if A >> B and B >> C .
 endfth)