Demonstration using wysh ...

GOAL FORWARD (forward chaining only) Consultations

Run consultations using the GOAL FORWARD knowledgbase

Andrew Mowbray wrote the ysh inference engine (1991-94).
Geoffrey King wrote the wysh web interface to ysh (1996) (further details on the wysh pages).
AustLII's research on legal inferencing via the web is funded by the Australian Research Council.

GOAL FORWARD (forward chaining only) knowledgbase

FORWARD RULE 1 PROVIDES 
        IF E is correct AND F is correct 
        THEN A is correct 

FORWARD RULE 2 PROVIDES 
        IF A is correct AND 
                BEGIN B is correct  OR C is correct  END 
        THEN D is correct 

FORWARD RULE 3 PROVIDES 
        IF E is correct  OR G is correct  
        THEN C is correct 

FORWARD RULE 4 PROVIDES 
        IF H is correct  AND G is correct  AND C is correct  
                AND F is not correct   
        THEN A is correct 

FORWARD RULE 5 PROVIDES 
        IF F is correct  AND  E is not correct  
        THEN D is not correct 

STRING the objective
STRING a true fact
STRING another true fact
STRING a false fact

GOAL RULE assert some facts PROVIDES
ASSERT  is correct     
ASSERT  is correct
ASSERT  is not correct