k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Rule Chain

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] Rule Chain
Date: Mon, 12 May 2014 16:45:11 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

How about this feature. To make a rule dependant on another rule having been matched, say, using the ~> operator between rules. That is the second idea I have that depends on the ability to tag and reference rules.

[K-user] Rule Chain, Omar Duhaiby, 05/12/2014