Skillget

genpark-horn-clause-forward-backward-chaining-skill

mcp
Security Audit
Warn
Health Warn
  • No license — Repository has no license file
  • Description — Repository has a description
  • Active repo — Last push 0 days ago
  • Low visibility — Only 7 GitHub stars
Code Pass
  • Code scan — Scanned 6 files during light audit, no dangerous patterns found
Permissions Pass
  • Permissions — No dangerous permissions requested

No AI report is available for this listing yet.

SUMMARY

Definite Horn clause deductive engine supporting forward chaining fixpoint and goal-directed backward chaining

README.md

Horn Clause Deductive Engine Skill

Definite Horn clause reasoning system featuring forward chaining fixpoint derivation and goal-directed backward chaining search.

flowchart LR
    KB["Rule Base (Head :- Body)"] --> Forward["Forward Chaining (Data-Driven Fixpoint)"]
    Facts["Known Facts"] --> Forward
    Forward --> Derived["Derived Propositions"]
    
    Goal["Query Goal"] --> Backward["Backward Chaining (Goal-Directed SLD)"]
    KB --> Backward
    Backward --> Proof["Entailment Proof"]

Features

  • 100% Python Standard Library: Linear-time forward chaining agenda algorithm.
  • Dual Inference Modes: Forward propagation from facts or backward verification from goals.
  • Cycle Prevention: Built-in branch history tracking.

Reviews (0)

No results found