Struct Atom

ast/ast.go:957–960

Atom represents an atom (a predicate symbol applied to base term arguments). e.g: parent(A, B)

// Atom represents an atom (a predicate symbol applied to base term arguments). e.g: parent(A, B)
type Atom struct {
	Predicate PredicateSym
	Args      []BaseTerm
}

func (a Atom) isTerm() {}