Detailed Description

ExecutionPlan.

execution plan for a clause.

An user-defined execution plan consists of one or more execution orders. An execution order is a permutation of atoms in a clause.

Example: .plan 0:(1,2,3), 2:(3,2,1)

The documentation for this class was generated from the following file: