IsTrue() публичный Метод

True if the specified goal is provable within this KnowledgeBase.
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
Результат bool
Пример #1
0
        /// <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));
        }