Re: [Factor-talk] logica -- a prolog-like library

Awesome, Kusumoto! Keep up the cool work. Jack Original Message On Nov 3, 2019, 8:42 PM, KUSUMOTO Norio wrote: > I renamed this library "factlog". > > "factlog" may not be as cool as "Factual" or "Triceratops", but I thought > it was great because someone could guess what it

Re: [Factor-talk] logica -- a prolog-like library

I renamed this library "factlog". "factlog" may not be as cool as "Factual" or "Triceratops", but I thought it was great because someone could guess what it was like when he saw it. Thanks, Jack. factlog, subset-Prolog-like DSL running on Factor --

Re: [Factor-talk] logica -- a prolog-like library

Hi, Jack. 2019/10/31 22:32、Jack Lucas via Factor-talk のメール: > > -- Factual > > -- Factlog Both are good! Thank you. > And keeping with the dinosaur motif > > -- Solvasaurus I like Triceratops. What kind of dinosaur looks smart? ;-) I am interested in your comment that you may port

Re: [Factor-talk] logica -- a prolog-like library

Happy Halloween! I need to try out your library soon. Very nice to see you released it! Also some dumb name suggestions from me -- Factual -- Factlog And keeping with the dinosaur motif -- Solvasaurus :P, Take it easy Kusmoto! Original Message On Oct 31, 2019, 9:21 AM,

Re: [Factor-talk] logica -- a prolog-like library

Happy Halloween! I stopped using Latin words and replaced them with English words and symbols. The name of the vocabulary is still "logica" but I might have to replace it. :-) I would like to ask you to add it to extra when I'm sure that this library is working as planned, but I hesitate to use

Re: [Factor-talk] logica -- a prolog-like library

> "semper" means "always" in Latin. > > Semper avarus eget. > > https://eudict.com/?lang=lateng=semper%20avarus%20eget I use some Latin words because the person who wrote this original logic engine used the Latin `si` and I respected him. It's also because it's an embedded language, so I

Re: [Factor-talk] logica -- a prolog-like library

> 2019/10/12 20:27、Alexander Ilin のメール: > > 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.

Re: [Factor-talk] logica -- a prolog-like library

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" : >

Re: [Factor-talk] logica -- a prolog-like library

Hello everyone. I wrote an explanation about 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

[Factor-talk] logica -- a prolog-like library

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