| Package | Description |
|---|---|
| jpl |
| Modifier and Type | Class and Description |
|---|---|
static class |
List.Nil
The Nil class is used to terminate a List.
|
| Modifier and Type | Field and Description |
|---|---|
protected Atom |
Query.atom_
the Atom corresponding to the predicate name in this Query
|
protected Atom |
Compound.atom_
the atom in this Compound
|
static Atom |
List.NIL |
| Modifier and Type | Method and Description |
|---|---|
Atom |
Query.atom() |
Atom |
Compound.atom() |
static Atom |
List.list() |
| Constructor and Description |
|---|
Compound(Atom atom,
Term[] args)
Creates a Comound with an Atom and an array of arguments.
|
Query(Atom atom)
This constructor creates a Prolog query with no arguments
(a "proposition" or "sentence").
|
Query(Atom atom,
Term[] args)
This constructor creates a Query object corresponding to a
Prolog query.
|
Copyright © 2015. All rights reserved.