Package | Description |
---|---|
io.github.prolobjectlink.prolog |
Modifier and Type | Method and Description |
---|---|
PrologClauseBuilder |
PrologClauseBuilder.begin(PrologTerm term)
Append to the clause builder the head term in the clause.
|
PrologClauseBuilder |
PrologClauseBuilder.begin(String functor,
PrologTerm... arguments)
Append to the clause builder the head term in the clause.
|
PrologClauseBuilder |
PrologClauseBuilder.comma(PrologTerm term)
Append to the clause builder other term in the clause body in conjunctive
mode.
|
PrologClauseBuilder |
PrologClauseBuilder.comma(PrologTerm left,
String operator,
PrologTerm right)
Append to the clause builder other term in the clause body in conjunctive
mode.
|
PrologClauseBuilder |
PrologClauseBuilder.comma(String functor,
PrologTerm... arguments)
Append to the clause builder other term in the clause body in conjunctive
mode.
|
PrologClauseBuilder |
PrologClauseBuilder.neck(PrologTerm term)
Append to the clause builder the first term in the clause body.
|
PrologClauseBuilder |
PrologClauseBuilder.neck(PrologTerm left,
String operator,
PrologTerm right)
Append to the clause builder the first term in the clause body.
|
PrologClauseBuilder |
PrologClauseBuilder.neck(String functor,
PrologTerm... arguments)
Append to the clause builder the first term in the clause body.
|
PrologClauseBuilder |
PrologEngine.newClauseBuilder()
Create a new clause builder instance to build prolog clauses
programmatically.
|
Copyright © 2020–2024 Prolobjectlink Project. All rights reserved.