Claim listing
alphaparkinc/genpark-horn-clause-forward-backward-chaining-skill
Definite Horn clause deductive engine supporting forward chaining fixpoint and goal-directed backward chaining
Claim your listing to add a tagline, logo, and category. Verified maintainers get a Verified Publisher badge and priority placement on the AgentRank index.
Leave your email to claim this listing. GitHub verification coming soon.