KB Snapshot: people_ladder_tune

Generated 2026-04-09 19:53:10 UTC | Corpus: D:\_PROJECTS\prethinker\kb_store\people_ladder_tune\kb.pl

Summary

Facts
2
Rules
1
Predicate Signatures
2

Predicate Signatures

  • man/1
  • mortal/1

Facts

  • man(plato).
  • man(socrates).

Rules

  • mortal(X) :- man(X).

Ontology Profile JSON

{
  "ontology_name": "people_ladder_tune",
  "generated_at_utc": "2026-04-09T19:27:59+00:00",
  "clause_count": 3,
  "predicate_signatures": [
    "man/1",
    "mortal/1"
  ],
  "fact_predicates": [
    "man/1"
  ],
  "rule_head_predicates": [
    "mortal/1"
  ],
  "rule_body_predicates": [
    "man/1"
  ]
}