Function NewNegAtom

ast/ast.go:1084–1086

NewNegAtom is a convenience constructor for NegAtom.

(predicateSym string, args ...BaseTerm)

// NewNegAtom is a convenience constructor for NegAtom.
func NewNegAtom(predicateSym string, args ...BaseTerm) NegAtom {
	return NegAtom{NewAtom(predicateSym, args...)}
}

// FunctionSym represents a function symbol with a given arity.
type FunctionSym struct {