Expand description
Common routines for the Prolog solver.
Constants§
- The standard library of Prolog predicates.
Functions§
- Returns the name of the
term
and its arguments, or None if the name doesn’t exist in this query. - Extracts an atom (an Identifier term with no arguments).
- Returns a native integer
- Returns the exact number of arguments of term
term
if its name matchesname
. - Converts a list built with
l/2
to aVec
. Fails if any of the elements are not a list.