neuralogic.core

Subpackages

Submodules

neuralogic.core.enums

class Grounder(value, names=None, *, module=None, qualname=None, type=None, start=1, boundary=None)[source]

Bases: Enum

BUP = 'BUP'
GRINGO = 'GRINGO'

neuralogic.core.sources

class Sources(sources)[source]

Bases: object

static from_args(args: List[str], settings: SettingsProxy) → Sources[source]
static from_settings(settings: SettingsProxy) → Sources[source]
to_json() → str[source]

neuralogic.core.template

class Template(*, template_file: str | None = None)[source]

Bases: object

add_hook(relation: BaseRelation | str, callback: Callable[[Any], None]) → None[source]

Hooks the callable to be called with the relation’s value as an argument when the value of the relation is being calculated.

Parameters:

  • relation –

  • callback –

Returns:

add_module(module: Module)[source]

Expands the module into rules and adds them into the template

Parameters:

module –

Returns:

add_rule(rule) → None[source]

Adds one rule to the template

Parameters:

rule –

Returns:

add_rules(rules: List)[source]

Adds multiple rules to the template

Parameters:

rules –

Returns:

build(settings: Settings)[source]
clone() → Template[source]
draw(filename: str | None = None, show=True, img_type='png', value_detail: int = 0, graphviz_path: str | None = None, model=None, *args, **kwargs)[source]
get_parsed_template(settings: SettingsProxy, java_factory: JavaFactory)[source]
remove_duplicates()[source]

Remove duplicates from the template

remove_hook(relation: BaseRelation | str, callback)[source]

Removes the callable from the relation’s hooks

Parameters:

  • relation –

  • callback –

Returns: