1 repository
Awesome GitHub RepositoriesLogic-to-Function Compilers
Compilers that transform logic programming predicates into executable functions within a host language.
Distinct from Functional Programming Compilers: Distinct from Functional Programming Compilers by focusing on the translation of logic clauses (Prolog-style) rather than purely functional languages.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Logic-to-Function Compilers. Refine with filters or upvote what's useful.
Awesome Logic-to-Function Compilers GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- norvig/paip-lisp
norvig/paip-lisp
7,465Vezi pe GitHubThis 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 compiler that translates logic programming predicates into executable Lisp functions.
Common Lisp
