Method Hash

ast/ast.go:1018–1020

Hash returns a hash code for this atom.

()

// Hash returns a hash code for this atom.
func (a Atom) Hash() uint64 {
	return hashTerm(a.Predicate.Symbol, a.Args)
}

// ApplySubst returns the result of applying given substitution to this atom.
func (a Atom) ApplySubst(s Subst) Term {