vidi::util

Module solver

Source
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 matches name.
  • Converts a list built with l/2 to a Vec. Fails if any of the elements are not a list.

Type Aliases§