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

Reply via email to