Prolog.KnowledgeBase.Assert C# (CSharp) Method

KnowledgeBase Class Documentation Mostrar archivo Open project: ianhorswill/UnityProlog

Assert() public method

Add a term (fact or rule) to the KB.

public Assert ( object term, bool atEnd, bool checkSingletons ) : void
term	object
atEnd	bool
checkSingletons	bool
return	void

        public void Assert(object term, bool atEnd, bool checkSingletons)
        {
            if (term == null)
                throw new ArgumentNullException("term", "Term to assert in KB cannot be null.");
            if (ELProlog.IsELTerm(term))
                ELProlog.Update(term, this);
            else
            {
                Assert(
                    Term.Structurify(term, "Assertion is not a valid proposition or predicate."),
                    atEnd,
                    checkSingletons);
            }
        }