|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
| CSIterator | This object is an iterator that allows iterations through all the terms of a list type or compound term (control state included). |
| Term | The LGI control state is a Prolog-like bag of terms. |
| UnifyResult | This class represents the result of a unification (or pattern matching) procedure. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||