List of Concordion Test
List:
AllSolutions
Arithmetic Comparison
ArithmeticEvaluation
Atomic Term Processing
Bitwise Functors
Bugs
Clause Creation and Destruction
Clause Retrival and Information
Control Constructs
Implementation Defined Hooks
List Management
Logic and Control
Simple Arithmetic Functors
Other Arithmetic Functors
Stream Selection and Control
Term Comparison
Term Creation andDecomposition
Type Testing
Term Unification