GitHub repository: whsdu/BCAlgorithm
Primary language: Haskell
Created: 2021-02-28T19:05:22Z
Description: The optimised backward chain searching algorithm