Esempi in C# (CSharp) per Prolog Term.Unifiable

Unifiable() private method

private Unifiable ( object v1, object v2 ) : bool
v1	object
v2	object
return	bool

Esempio n. 1

        public void RetractAll(Structure head)
        {
            var entries = GetEntriesListForUpdate();

            for (int i = entries.Count - 1; i >= 0; i--)
            {
                if (Term.Unifiable(head, entries[i].Head))
                {
                    entries.RemoveAt(i);
                }
            }
        }