|
Class Summary |
| LstOfConstraints |
Title: LstOfConstraints
Description: LstOfConstraints is composed of an object (with its binding information)
and an Array List of constraints. |
| PPCGBindingContext |
Title: PPCGBindingContext
Description: PPCGBindingContext implements the binding resolution
process for Prolog+CG. |
| UnificationStack |
Title: UnificationStack
Description: UnificationStack defines the unification stack used by
Prolog+CG interpreter. |
| UnifRecord |
Title: UnifRecord
Description: UnifRecord is a HashMap with entry defined as follows:
key = Variable, value = LstOfConstraints.
|