logica is a library that implements the functionality of a subset of Prolog. It's still in the making and there's no documentation. Some features are written, but not tried, or not implemented well.
However, it has been confirmed that it works meaningfully to some extent, so I make the repository public as it is now. <https://github.com/kusumotonorio/logica> logica is a port from tiny_prolog and its descendants, ruby-prolog. For example, to solve a zebra puzzle ( <https://rosettacode.org/wiki/Zebra_puzzle> ) : USING: locica logica.test.zebra ; { houseso Hs X Y } query . -- KUSUMOTO Norio _______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk