Hello! I like the idea, and I will definitely keep in mind that such a thing exists, but at the moment don't have a use for it.
The words like "semper", etc. - is there a tradition behind it? I've never seen such terminology in computing before. 12.10.2019, 13:46, "KUSUMOTO Norio" <kusum...@na.rim.or.jp>: > Hello everyone. > > I wrote an explanation about logica. > > <https://github.com/kusumotonorio/logica> > > I would appreciate it if you could give me your opinions and comments. > > Also, I would appreciate it if you could think about how to use it. ;-) > > -- > KUSUMOTO Norio > >> 2019/10/03 21:40、KUSUMOTO Norio <kusum...@na.rim.or.jp>のメール: >> >> 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 ---=====--- Александр _______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
