symbolic.parse_proposition

symbolic.parse_proposition(str_prop)

Parses the head and arguments of a proposition string.

For example, ‘on(box, table)’ becomes (‘on’, [‘box’, ‘table’]).

Return type:

Tuple[str, List[str]]