Function AddVarsFromClause

ast/ast.go:1448–1453

AddVarsFromClause adds all variables from term to map, where term is either variable, constant or atom.

(clause Clause, m map[Variable]bool)

// AddVarsFromClause adds all variables from term to map, where term is
// either variable, constant or atom.
func AddVarsFromClause(clause Clause, m map[Variable]bool) {
	AddVars(clause.Head, m)
	for _, p := range clause.Premises {
		AddVars(p, m)
	}
}

// SortIndexInto sorts s and populates the index and hashes slice.
func SortIndexInto(keys []*Constant, index []int) {