Package | Description |
---|---|
org.projog.api |
Provides a programming interface for Java applications to interact with Projog.
|
org.projog.core.math | |
org.projog.core.math.builtin |
Provides arithmetic operators.
|
org.projog.core.term |
Contains the building blocks used to construct Prolog programs and queries.
|
Modifier and Type | Method and Description |
---|---|
void |
Projog.addArithmeticOperator(PredicateKey key,
ArithmeticOperator operator)
|
Modifier and Type | Interface and Description |
---|---|
interface |
Numeric
A
Term that has a numerical value. |
interface |
PreprocessableArithmeticOperator |
Modifier and Type | Class and Description |
---|---|
class |
AbstractArithmeticOperator |
class |
AbstractBinaryArithmeticOperator
A template for
ArithmeticOperator s that accept two arguments. |
class |
AbstractBinaryIntegerArithmeticOperator
A template for
ArithmeticOperator s that accept two arguments of type TermType.INTEGER . |
class |
AbstractUnaryArithmeticOperator
A template for
ArithmeticOperator s that accept exactly one argument. |
Modifier and Type | Method and Description |
---|---|
ArithmeticOperator |
ArithmeticOperators.getArithmeticOperator(PredicateKey key) |
ArithmeticOperator |
ArithmeticOperators.getPreprocessedArithmeticOperator(Term argument) |
ArithmeticOperator |
PreprocessableArithmeticOperator.preprocess(Term arg) |
ArithmeticOperator |
AbstractArithmeticOperator.preprocess(Term expression) |
Modifier and Type | Method and Description |
---|---|
void |
ArithmeticOperators.addArithmeticOperator(PredicateKey key,
ArithmeticOperator operator)
Associates a
ArithmeticOperator with this KnowledgeBase . |
Modifier and Type | Class and Description |
---|---|
class |
Abs
abs - returns the absolute value of a numeric argument. |
class |
Add
+ - performs addition. |
class |
BitwiseAnd
/\ - performs bitwise addition. |
class |
BitwiseOr
\/ - bitwise 'or'. |
class |
BitwiseXor
xor - bitwise 'exclusive or'. |
class |
Divide
/ - performs division. |
class |
IntegerDivide
// - performs integer division. |
class |
Max
max - finds the maximum of two numbers. |
class |
Min
min - finds the minimum of two numbers. |
class |
Minus
- - minus operator. |
class |
Modulo
mod - finds the remainder of division of one number by another. |
class |
Multiply
* - performs multiplication. |
class |
Power
** - calculates the result of the first argument raised to the power of the second argument. |
class |
Random
random(X) Evaluate to a random integer i for which 0 =< i < X. |
class |
Remainder
rem - finds the remainder of division of one number by another. |
class |
Round
integer(X) - round X to the nearest integer value. |
class |
ShiftLeft
<< - left shift bits. |
class |
ShiftRight
>> - right shift bits. |
class |
Subtract
- - performs subtraction. |
Modifier and Type | Class and Description |
---|---|
class |
DecimalFraction
Represents a value of the primitive type
double as a Term . |
class |
IntegerNumber
Represents a value of the primitive type
long as a Term . |
Copyright © 2024. All rights reserved.