hub / github.com/davidandrzej/LogicLDA

github.com/davidandrzej/LogicLDA @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

260 symbols 649 edges 36 files 137 documented · 53% ● updated 14y ago★ 33

Browse by type

⨍ Functions 225◇ Types & classes 35

What it actually does AI analysis from the code graph — generated when you open this

loading…

Extension points exported contracts — how you extend this code

GroundableRule (Interface)

Interface for a LogicRule which can be exhaustively grounded/propositionalized (may have > 1 z variable, eg Cannot-Link [7 …

src/main/java/logiclda/rules/GroundableRule.java

IndependentRule (Interface)

Interface for a LogicRule which can easily be grounded/propositionalized because it does not rely on more than one laten [4 …

src/main/java/logiclda/rules/IndependentRule.java

LogicRule (Interface)

(no doc) [11 implementers]

src/main/java/logiclda/rules/LogicRule.java

Sample (Interface)

(no doc) [4 implementers]

src/main/java/logiclda/infer/Sample.java

browse all types & interfaces →

Core symbols most depended-on inside this repo

↓ 13 filesLogicRule

src/main/java/logiclda/rules/LogicRule.java

↓ 12 filesGrounding

src/main/java/logiclda/rules/Grounding.java

↓ 8 filesGroundableRule

Interface for a LogicRule which can be exhaustively grounded/propositionalized (may have > 1 z variable, eg Cannot-Link or …

src/main/java/logiclda/rules/GroundableRule.java

↓ 8 filesMiscUtil

src/main/java/logiclda/MiscUtil.java

↓ 5 filesFileUtil

Static methods for reading/writing files @author andrzeje

src/main/java/logiclda/FileUtil.java

↓ 5 filesCorpus

Represents a text corpus @author david

src/main/java/logiclda/Corpus.java

browse all functions →

Shape

Method 225

Class 28

Interface 4

Enum 3

Languages

Java100%

Modules by API surface

src/main/java/logiclda/rules/SeedRule.java19 symbols

src/main/java/logiclda/rules/MLRule.java18 symbols

src/main/java/logiclda/rules/DocRule.java18 symbols

src/main/java/logiclda/rules/CLRule.java18 symbols

src/main/java/logiclda/infer/DiscreteSample.java13 symbols

src/main/java/logiclda/FileUtil.java12 symbols

src/main/java/logiclda/rules/LDARule.java11 symbols

src/main/java/logiclda/infer/RelaxedSample.java11 symbols

src/main/java/logiclda/rules/SentInclRule.java10 symbols

src/main/java/logiclda/rules/SentExclRule.java10 symbols

src/main/java/logiclda/infer/MirrorDescent.java9 symbols

src/main/java/logiclda/infer/CollapsedGibbs.java9 symbols

For agents

$ claude mcp add LogicLDA \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/davidandrzej/LogicLDA @main

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page