Hilda and Kathy in SNePSLOG

: {in(Hilda, Boston),

in(Kathy, Las_Vegas)}

v=> {in(Eve, Providence)}.

: in(Hilda, Boston)!

Since {IN(HILDA,BOSTON),IN(KATHY,LAS_VEGAS)} v=> {IN(EVE,PROVIDENCE)}

and IN(HILDA,BOSTON)

I infer IN(EVE,PROVIDENCE)

Previous slide

Next slide

Back to first slide

View graphic version