|
Class Summary |
| Goal |
Title: Goal
Description: A Goal in Prolog+CG can be a String, an identifier or a Variable
(which is an Identifier), a Term, or a CG. |
| GoalToResolve |
Title : GoalToResolve
Description : GoalToResolve represents the activation record that contains
valuable information for the interpretation/resolution of the current goal. |
| ResolutionStack |
Title: ResolutionStack
Description: ResolutionStack is a stack used by Prolog+CG interpreter
Copyright: Copyright (c) Adil KABBAJ, 2004-2009 |
| Rule |
Title: Rule
Description: An ArrayList of Goal
Copyright: Copyright (c) Adil KABBAJ, 2004-2009 |
| Rules |
Title: Rules
Description: An ArrayList of Rule
Copyright: Copyright (c) Adil KABBAJ, 2004-2009 |