1 रिपॉजिटरी
Awesome GitHub RepositoriesLogic Programming Engines
Runtimes that execute logic queries using unification and backtracking.
Distinguishing note: Candidates are mostly curated lists or visual programming; this is a functional execution engine.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Logic Programming Engines. Refine with filters or upvote what's useful.
Awesome Logic Programming Engines GitHub Repositories
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- norvig/paip-lisp
norvig/paip-lisp
7,465GitHub पर देखेंThis project is a comprehensive Lisp AI implementation library that provides reference implementations for various artificial intelligence paradigms and symbolic algorithms. It functions as a multi-purpose toolkit containing a logic programming engine, a natural language processing suite, and a symbolic mathematics toolkit. The library is distinguished by its diverse architectural frameworks, including a Prolog-style execution engine that uses unification and goal-driven backtracking, and a system for simulating human decision-making through expert system shells and certainty factors. It also
Implements a logic programming engine that derives conclusions from clauses via unification and backtracking.
Common Lisp
