Chris Pressey

NaNoGenMo Dev Diary, Day -10: Just a note relating to my earlier seemingly-agonizing-over-using-or-not-using-Prolog. There are two languages that are related to Prolog, that are both simpler, and could be interesting...

NaNoGenMo Dev Diary, Day -6: I now realize fully that you don't need anything as powerful as Prolog, or even Datalog, to work with the "propositions world" I was envisioning,...

> > we recursively run that sub-query > By doing this, you have implemented rules (modulo the problem of re-ordering parameter lists). No, by doing this, I have implemented _search_....

> substantially closer to a trivial constraint solver than you're making out to be I have no idea how close it is to a "trivial constraint solver" because what does...

@enkiv2 > It seems like real unification is neither necessary nor desirable here, though. I agree; didn't I already say basically that when I introduced my post yesterday with >...

> Sounds like you're doing a more sophisticated version of what I'm trying in issue 16. Not sure if this is more or less sophisticated than that, but, in the...

> I was quite impressed by Swallows, however you deprecate your own work as "hacking" Okay, a better idiom than "hacking" in this context might be [writing \[code\] by the...

NaNoGenMo Dev Diary, Day -2: OK, first, at the risk of repeating myself: the technical ideas in this project are interesting (to me), but I don't have any really good...

That could be interesting; it ties in with the goal of wanting to extend the scope of state that's tracked (state of the economy? geopolitical state?) Under the current plans,...

NaNoGenMo Dev Diary, Day 1: Good progress. I didn't imagine I would start off NaNoGenMo by writing unit tests, but Samovar is not nearly as much of an embarrassment now,...