Function NewQuery

ast/ast.go:1047–1053

NewQuery is a convenience constructor for constructing a goal atom.

(predicate PredicateSym)

// NewQuery is a convenience constructor for constructing a goal atom.
func NewQuery(predicate PredicateSym) Atom {
	vars := make([]BaseTerm, predicate.Arity)
	for i := 0; i < predicate.Arity; i++ {
		vars[i] = Variable{fmt.Sprintf("X%d", i)}
	}
	return Atom{predicate, vars}
}

// NegAtom represents a negated atom.
type NegAtom struct {