vidi::util

Module solver

Source
Expand description

Common routines for the Prolog solver.

Constants§

  • STDLIB
    The standard library of Prolog predicates.

Functions§

  • get_app_term
    Returns the name of the term and its arguments, or None if the name doesn’t exist in this query.
  • get_atom
    Extracts an atom (an Identifier term with no arguments).
  • get_int
    Returns a native integer
  • get_term_args
    Returns the exact number of arguments of term term if its name matches name.
  • get_u16
  • get_u32
  • list_to_vec
    Converts a list built with l/2 to a Vec. Fails if any of the elements are not a list.
  • solution_to_hash

Type Aliases§