Module parse_goals

Utilities for parsing goals and queries.

Functions

get_left_and_right

Gets terms on left and right-hand side of an infix.

indices_of_parentheses

Determines the indices of parentheses in a goal or query.

make_goal

Makes a goal from a functor and a vector of unifiable terms.

make_goal_no_args

Makes a goal which has no arguments.

parse_subgoal

Parses a string to produce a goal.