Module parse_terms

Functions for parsing unifiable terms and lists of terms.

Functions

check_quotes

Checks validity of double quote marks in a string.

parse_arguments

Parses a list of terms (arguments).

parse_term

Parses a string to produce a Unifiable term.