Struct swipl::callable::CallablePredicate

pub struct CallablePredicate<const N: usize> { /* private fields */ }

A prolog predicate which is ready to be called.

Implementations

impl<const N: usize> CallablePredicate<N>

pub unsafe fn wrap(predicate: predicate_t) -> Self

Wrap a predicate_t from the SWI-Prolog fli, not checking if arity matches.

Safety

This is only safe if the given predicate is in fact a predicate in SWI-Prolog.

pub fn new(predicate: Predicate) -> Result<Self, PredicateWrapError>

Wrap a Predicate.

This checks that the arity matches the const generic, and panics otherwise.

Trait Implementations

impl<const N: usize> Callable<N> for CallablePredicate<N>

type ContextType = OpenQuery

fn open<'a, C: ContextType>( self, context: &'a Context<'_, C>, module: Option<Module>, args: [&Term<'_>; N] ) -> Context<'a, Self::ContextType>

impl<const N: usize> Clone for CallablePredicate<N>

fn clone(&self) -> CallablePredicate<N>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<const N: usize> Copy for CallablePredicate<N>