|
Class Summary |
| AnonymousAssembler |
Pushes an anonymous variable onto an assembly's stack. |
| ArithmeticAssembler |
This assembler pops two arithmetic operands, builds an
ArithmeticOperator from them, and pushes it. |
| AtomAssembler |
Exchanges a token on an assembly's stack with an atom
that has the token's value as its functor. |
| AxiomAssembler |
Pops the structures of a rule from an assembly's stack,
and constructs and pushes a rule. |
| ComparisonAssembler |
Pops two comparison terms and an operator, builds
the comparison, and pushes it. |
| EvaluationAssembler |
Pops two terms, constructs an Evaluation from these terms,
and pushes it. |
| ListAssembler |
Pops the terms of a list from an assembly's stack, builds
the list, and pushes it. |
| ListWithTailAssembler |
Pops the tail and terms of a list from an assembly's stack,
builds the list, and pushes it. |
| LogikusFacade |
This class provides utility methods that simplify the use
of the Logikus parser. |
| LogikusIde |
This class provides an interactive development environment
for Logikus. |
| LogikusMediator |
This class supports a LogikusIde object,
handling the interaction of the IDE's components. |
| LogikusParser |
This class provides a parser for Logikus, a logic
language similar to Prolog. |
| NotAssembler |
Pops a structure from the top of the stack and pushes a Not
version of it. |
| StructureWithTermsAssembler |
Pops the terms and functor of a structure from an assembly's
stack, builds a structure, and pushes it. |
| VariableAssembler |
Pops a string like "X" or "Person" from an assembly's stack
and pushes a variable with that name. |