Function Clause

parse/parse.go:678–694

Clause parses a single clause.

(s string)

// Clause parses a single clause.
func Clause(s string) (ast.Clause, error) {
	p, err := newParser(s)
	if err != nil {
		return ast.Clause{}, err
	}
	defer p.reset()

	tree := p.parser.Clause()
	if err := p.error(); err != nil {
		return ast.Clause{}, err
	}
	clause := p.Visit(tree)
	if err := p.error(); err != nil {
		return ast.Clause{}, err
	}
	return clause.(ast.Clause), nil
}

// LiteralOrFormula parses a single Term, an equality or inequality from a given string.
func LiteralOrFormula(s string) (ast.Term, error) {