EVENT : event

MS88 search procedure

• added-conn
• considered-conn
• dupe
• dupe-var
• incomp-mating
• mate-subsumed-test
• mate-subsumed-true
• mating-changed
• primsub
• removed-conn
• start-time
• stop-time
• unif-subsumed-test
• unif-subsumed-true

Events

• advice-asked
• command
• done-exc
• error
• input-error
• proof-action
• rule-error

TPS documentation homepage

TPS homepage