Source: Github repository.
Basic implementation of General Problem Solver algorithm
Key features:
- Written in Haskell in less than 50 LOC.
- Abstract. You can have different types for operations and goals.
Warning:
- It is not tested.
- It does not fix problems like clobbered sibling problem, or recursive subgoal problem, etc.