Installation
🚀 Quick Start
PyNeuraLogic Language
Problem Definition
Understanding Rules
Model Evaluation
🦓 Module Zoo
Advanced Usage
🔬 Examples
⏱️ Benchmarks
Beyond GNNs
Hypergraph Neural Networks
Heterophily Settings
Package Reference
neuralogic
neuralogic.core
neuralogic.dataset
neuralogic.db
neuralogic.inference
neuralogic.logging
neuralogic.nn
neuralogic.optim
neuralogic.utils
PyNeuraLogic
Index
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
V
|
W
A
add_handler() (in module neuralogic.logging)
add_log_handler() (in module neuralogic.logging)
Aggregation (class in neuralogic.core.constructs.function)
aggregation (Metadata attribute)
ALL (Level attribute)
arity (Predicate attribute)
AtomFactory (class in neuralogic.core.constructs.factories)
AtomFactory.Predicate (class in neuralogic.core.constructs.factories)
attach_activation_function() (BaseRelation method)
(WeightedRelation method)
AVG (Aggregation attribute)
(Combination attribute)
avg (F attribute)
avg_agg (F attribute)
B
BaseRelation (class in neuralogic.core.constructs.relation)
body (Rule attribute)
C
can_flatten (Function attribute)
clear_handlers() (in module neuralogic.logging)
COLOR (Formatter attribute)
Combination (class in neuralogic.core.constructs.function)
combination (Metadata attribute)
combine() (Metadata method)
CONCAT (Aggregation attribute)
(Combination attribute)
concat (F attribute)
concat_agg (F attribute)
CONFIG (Level attribute)
ConstantFactory (class in neuralogic.core.constructs.factories)
copy() (Metadata method)
COSSIM (Combination attribute)
cossim (F attribute)
COUNT (Aggregation attribute)
(Combination attribute)
count (F attribute)
count_agg (F attribute)
CROSSSUM (Combination attribute)
crossum (F attribute)
D
duplicit_grounding (Metadata attribute)
E
ELPRODUCT (Combination attribute)
elproduct (F attribute)
exp (F attribute)
EXP (Transformation attribute)
F
F (class in neuralogic.core.constructs.function)
FContainer (class in neuralogic.core.constructs.function)
FINE (Level attribute)
FINER (Level attribute)
FINEST (Level attribute)
fixed() (WeightedRelation method)
Formatter (class in neuralogic.logging)
formatter (LogHandler attribute)
from_iterable() (Metadata static method)
function (BaseRelation attribute)
Function (class in neuralogic.core.constructs.function)
function (FContainer attribute)
G
get() (AtomFactory method)
(AtomFactory.Predicate method)
(ConstantFactory method)
(Function method)
(VariableFactory method)
get_flattened_nodes() (FContainer static method)
get_predicate() (AtomFactory.Predicate static method)
H
head (Rule attribute)
hidden (AtomFactory.Predicate property)
(Predicate attribute)
I
identity (F attribute)
IDENTITY (Transformation attribute)
INFO (Level attribute)
inverse (F attribute)
INVERSE (Transformation attribute)
is_fixed (WeightedRelation attribute)
is_parametrized() (Function method)
L
leaky_relu (F attribute)
LEAKY_RELU (Transformation attribute)
learnable (Metadata attribute)
Level (class in neuralogic.logging)
level (LogHandler attribute)
literals (RuleBody attribute)
log (F attribute)
LOG (Transformation attribute)
LogHandler (class in neuralogic.logging)
lukasiewicz (F attribute)
LUKASIEWICZ (Transformation attribute)
M
MAX (Aggregation attribute)
(Combination attribute)
max (F attribute)
max_agg (F attribute)
Metadata (class in neuralogic.core.constructs.metadata)
metadata (PredicateMetadata attribute)
(Rule attribute)
(RuleBody attribute)
MIN (Aggregation attribute)
(Combination attribute)
min (F attribute)
min_agg (F attribute)
module
neuralogic.core.constructs.factories
neuralogic.core.constructs.function
neuralogic.core.constructs.metadata
neuralogic.core.constructs.predicate
neuralogic.core.constructs.relation
neuralogic.core.constructs.rule
neuralogic.logging
N
name (FContainer property)
(Function attribute)
(Predicate attribute)
namespace (Function attribute)
negated (BaseRelation attribute)
neuralogic.core.constructs.factories
module
neuralogic.core.constructs.function
module
neuralogic.core.constructs.metadata
module
neuralogic.core.constructs.predicate
module
neuralogic.core.constructs.relation
module
neuralogic.core.constructs.rule
module
neuralogic.logging
module
nodes (FContainer attribute)
norm (F attribute)
NORM (Transformation attribute)
NORMAL (Formatter attribute)
O
OFF (Level attribute)
operator (Function attribute)
output (LogHandler attribute)
P
predicate (BaseRelation attribute)
Predicate (class in neuralogic.core.constructs.predicate)
predicate (PredicateMetadata attribute)
PredicateMetadata (class in neuralogic.core.constructs.predicate)
pretty_str() (Function method)
process_head() (Function method)
PRODUCT (Combination attribute)
product (F attribute)
R
relu (F attribute)
RELU (Transformation attribute)
reshape (F attribute)
RESHAPE (Transformation attribute)
reverse (F attribute)
REVERSE (Transformation attribute)
Rule (class in neuralogic.core.constructs.rule)
rule_head_dependant() (Function method)
RuleBody (class in neuralogic.core.constructs.rule)
S
set_arity() (Predicate method)
SEVERE (Level attribute)
sigmoid (F attribute)
SIGMOID (Transformation attribute)
signum (F attribute)
SIGNUM (Transformation attribute)
slice (F attribute)
SLICE (Transformation attribute)
SOFTMAX (Aggregation attribute)
(Combination attribute)
softmax (F attribute)
SOFTMAX (Transformation attribute)
softmax_agg (F attribute)
softmax_comb (F attribute)
SPARSEMAX (Combination attribute)
sparsemax (F attribute)
SPARSEMAX (Transformation attribute)
sparsemax_comb (F attribute)
special (AtomFactory.Predicate property)
(Predicate attribute)
sqrt (F attribute)
SQRT (Transformation attribute)
SUM (Aggregation attribute)
(Combination attribute)
sum (F attribute)
sum_agg (F attribute)
T
T (BaseRelation property)
(WeightedRelation property)
tanh (F attribute)
TANH (Transformation attribute)
terms (BaseRelation attribute)
TextIOWrapper (class in neuralogic.logging)
to_function() (FContainer method)
to_str() (BaseRelation method)
(FContainer method)
(Predicate method)
(Rule method)
(WeightedRelation method)
Transformation (class in neuralogic.core.constructs.function)
transformation (Metadata attribute)
transp (F attribute)
TRANSP (Transformation attribute)
V
VariableFactory (class in neuralogic.core.constructs.factories)
W
WARNING (Level attribute)
weight (WeightedRelation attribute)
weight_name (WeightedRelation attribute)
WeightedRelation (class in neuralogic.core.constructs.relation)
wrap() (Function method)
write() (TextIOWrapper method)