computable.pl -- Computable predicates.

author

- Daniel Beßler

license

- BSD

 add_computable_predicate(+Indicator, +Goal) is det

Register a computable predicate. Indicator is a term indicator \(Functor,Arity). Goal is called whenever a subgoal in a query matches the indicator. Goal must be thread-safe.

 drop_computable_predicate(+Module) is det

Unregister all computable predicates in a module.

 drop_computable_predicate(+Module, +Indicator) is det

Unregister a computable predicate.

 add_computable_property(+Property, +Goal) is det

Register a computable property. Property is a property IRI. Goal is called for triples in a query that have a matching property argument. Goal must be thread-safe.

 drop_computable_property(+Module) is det

Unregister all computable properties in a module.

 drop_computable_property(+Module, +Indicator) is det

Unregister a computable predicate.

 computables +Computables is det

Register a list of comutables.

Arguments:

Computables

- list of computables