Function NewClause

ast/ast.go:1308–1310

NewClause constructs a new clause.

(head Atom, premises []Term)

// NewClause constructs a new clause.
func NewClause(head Atom, premises []Term) Clause {
	return Clause{head, nil, premises, nil}
}

// NewTemporalClause constructs a new clause with a temporal annotation.
func NewTemporalClause(head Atom, headTime *Interval, premises []Term) Clause {