public IsTrue ( object goal, object thisValue = null ) : bool | ||
goal | object | Goal to attempt to prove |
thisValue | object | The value to give ot the $this indexical while running the goal |
return | bool |
/// <summary> /// Call prolog query specified by string. /// Provided as UI glue. /// </summary> /// <param name="prologCode">Source code for Prolog query</param> public void Run(string prologCode) { var code = prologCode.EndsWith(".") ? prologCode : prologCode + '.'; kb.IsTrue(ISOPrologReader.Read(code)); }