Module swipl::functor

source ·
Expand description

Prolog functors.

A functor is a core datatype in prolog. It is a combination of an atom and an arity. Unlike atoms, functors are not reference-counted and are never garbage collected.

This module provides functions and types for interacting with prolog functors.

Structs

  • A wrapper for a prolog functor.
  • A struct which provides a way to delay and cache functor creation.