Exemplo n.º 1
0
            public bool RetractTriple(Triple triple, IGraph listResolver)
            {
                var oldFact = TripleToRule(triple, listResolver, true);

                lock (CompileLock)
                {
                    {
                        Rule replaceInKb;
                        int  index;
                        prologEngine.ensureCompiled(this, ContentBackingStore.Prolog);
                        if (ReplaceInKb(0, oldFact, null, out replaceInKb, out index))
                        {
                            return(true);
                        }
                    }
                }
                return(false);
            }