SDG
jco
[EMAIL PROTECTED] wrote:
Quoting Michael Schillo <[EMAIL PROTECTED]>: > On 06.12.2001 you wrote about "JESS: introspection tools": [...] > > I would love to see an example. Would you mind putting a generated > page on the web and post the URL?Sorry for the delay. I just got my computer back from repair. The lisp program and its output for my JESS application are attatched. Let me know if you have any questions. At this point it only deals with JESS expressions that my application uses. It should warn about the things it doesn't recognize though and should also be easy to extend.
Facts
- fact ADJACENT-ENDPOINTS
- triggers rule ADJACENT-ENDPOINTS-SYMETRIC
- asserted by rule ADJACENT-ENDPOINTS-SYMETRIC
- asserted by rule ADJACENT-ENDPOINTS
- fact ALL-DIFFERENT
- triggers rule EQUIV-SIFFERENT-CONSISTENCY-CHECK
- asserted by rule FACES-AND-SEGMENTS-AT-CROSSPOINT
- fact CP-SEGMENT-FACE-DIRECTIONS
- triggers rule ADJACENT-ENDPOINTS
- triggers rule FACES-WITH-TWO-SHARED-SEGMENTS
- triggers rule SAME-SEGMENT-OPPOSITE-ENDS->OPPOSITE-CIRC
- triggers rule SAME-SIDE-IF-SAME-SEGMENT-AND-FACE
- triggers rule SAME-FACE-IF-SAME-SEGMENT-AND-SIDE
- asserted by function ASSERT-FACE-SIDE-AND-CIRCULAR-DIRECTION
- fact CROSSPOINT
- fact DECLARE
- triggers rule FACES-WITH-TWO-SHARED-SEGMENTS
- triggers rule EQUIV-SIFFERENT-CONSISTENCY-CHECK
- triggers rule OPPOSITES-EQUIV-CONSISTENCY-CHECK
- triggers rule EQUIV-EQUIV-MERGE
- fact END-POINT
- triggers rule ADJACENT-ENDPOINTS
- fact EQUIV
- triggers rule ADJACENT-ENDPOINTS
- triggers rule EQUIV-SIFFERENT-CONSISTENCY-CHECK
- triggers rule EQUIV-EQUIV-MERGE
- asserted by rule FACES-AND-SEGMENTS-AT-CROSSPOINT
- asserted by rule EQUIV-EQUIV-MERGE
- asserted by function ASSERT-EQUIV
- fact OPPOSITES
- triggers rule OPPOSITE-SAME-OPPOSITE
- triggers rule OPPOSITES-EQUIV-CONSISTENCY-CHECK
- asserted by rule SAME-SEGMENT-OPPOSITE-ENDS->OPPOSITE-CIRC
- asserted by rule FACES-AND-SEGMENTS-AT-CROSSPOINT
- fact OR
- triggers rule FACES-WITH-TWO-SHARED-SEGMENTS
- triggers rule SAME-SEGMENT-OPPOSITE-ENDS->OPPOSITE-CIRC
- triggers rule SAME-SIDE-IF-SAME-SEGMENT-AND-FACE
- triggers rule SAME-FACE-IF-SAME-SEGMENT-AND-SIDE
- triggers rule OPPOSITE-SAME-OPPOSITE
- triggers rule OPPOSITES-EQUIV-CONSISTENCY-CHECK
- fact UNIQUE
- triggers rule FACES-WITH-TWO-SHARED-SEGMENTS
- fact UNKNOWN
- retracted by rule EQUIV-EQUIV-MERGE
Rules
- rule ADJACENT-ENDPOINTS
- asserts fact ADJACENT-ENDPOINTS
- triggered by fact EQUIV
- triggered by fact CP-SEGMENT-FACE-DIRECTIONS
- triggered by fact END-POINT
- rule ADJACENT-ENDPOINTS-SYMETRIC
- asserts fact ADJACENT-ENDPOINTS
- triggered by fact ADJACENT-ENDPOINTS
- rule EQUIV-EQUIV-MERGE
- retracts fact UNKNOWN
- asserts fact EQUIV
- triggered by fact EQUIV
- triggered by fact DECLARE
- rule EQUIV-SIFFERENT-CONSISTENCY-CHECK
- triggered by fact ALL-DIFFERENT
- triggered by fact EQUIV
- triggered by fact DECLARE
- rule FACES-AND-SEGMENTS-AT-CROSSPOINT
- asserts fact EQUIV
- asserts fact OPPOSITES
- asserts fact ALL-DIFFERENT
- calls function ASSERT-FACE-SIDE-AND-CIRCULAR-DIRECTION
- calls function MAKE-NAME
- triggered by fact CROSSPOINT
- rule FACES-WITH-TWO-SHARED-SEGMENTS
- calls function ASSERT-EQUIV
- triggered by fact UNIQUE
- triggered by fact OR
- triggered by fact CP-SEGMENT-FACE-DIRECTIONS
- triggered by fact DECLARE
- rule OPPOSITE-SAME-OPPOSITE
- calls function ASSERT-EQUIV
- triggered by fact OR
- triggered by fact OPPOSITES
- rule OPPOSITES-EQUIV-CONSISTENCY-CHECK
- triggered by fact OR
- triggered by fact OPPOSITES
- triggered by fact DECLARE
- rule SAME-FACE-IF-SAME-SEGMENT-AND-SIDE
- calls function ASSERT-EQUIV
- triggered by fact OR
- triggered by fact CP-SEGMENT-FACE-DIRECTIONS
- rule SAME-SEGMENT-OPPOSITE-ENDS->OPPOSITE-CIRC
- asserts fact OPPOSITES
- triggered by fact OR
- triggered by fact CP-SEGMENT-FACE-DIRECTIONS
- rule SAME-SIDE-IF-SAME-SEGMENT-AND-FACE
- calls function ASSERT-EQUIV
- triggered by fact OR
- triggered by fact CP-SEGMENT-FACE-DIRECTIONS
Functions
- function ASSERT-EQUIV
- asserts fact EQUIV
- called by rule FACES-WITH-TWO-SHARED-SEGMENTS
- called by rule SAME-SIDE-IF-SAME-SEGMENT-AND-FACE
- called by rule SAME-FACE-IF-SAME-SEGMENT-AND-SIDE
- called by rule OPPOSITE-SAME-OPPOSITE
- function ASSERT-FACE-SIDE-AND-CIRCULAR-DIRECTION
- asserts fact CP-SEGMENT-FACE-DIRECTIONS
- called by rule FACES-AND-SEGMENTS-AT-CROSSPOINT
- function FACT-ORDERING-PREDICATE
- function MAKE-NAME
- called by rule FACES-AND-SEGMENTS-AT-CROSSPOINT
