One thing that I’ve realized since starting work on this again – there’s still all sorts of bugs. Bugs in the logic, in saving the data, etc. Which means that before I begin my next phase, I’ll need to work on fixing these. Unfortunately, the project has one way or another been in a “fixing […more]
Strictly logic is officially open source! Repo is here: https://github.com/RS17/strictly-logic It took a while to be comfortable pushing this odd effort to a public repo, but I take comfort in the fact that no one will likely ever look at it.
I’ve once again fired this thing up. I started with the goal of getting the code to a point where I could post it on github, but found a bug and fixed it. Now I’m going to go through and see just how usable this system really is – something that I’ve actually never done […more]
So my seemingly once-a-year work on developing this project is beginning again. Now the issue is: how do I handle circular logic? In this post, I’ll see if I can figure it out, because right now I have no idea. Say we have a statement: If @1 is A, then @1 is B. This necessarily […more]
So it’s a few minutes after June 6 ETD, but otherwise as promised the site is up and running supposedly. Had to do some last minute hacking because apparently I can no longer upload Perl modules on my host (am I the last person still using Perl?) Updates: Giant logic rework. Really, a ton of […more]
So the state of the project is this – it at least sort of works, right now, on my local machine. There are things that I thought were broken that strangely now seem to be less broken, and it could be that the last time I tested I just didn’t test right, or I didn’t […more]
It’s been almost a year since I started my “massive overhaul” and it finally looks like I’ve solved the “easy version of the hard problem”. What this means is where there’s single statements like “then @1 is better than @2” without a conjunction in there anywhere, the system can at least partially tell how that […more]
To keep myself updated next time I start working on this again, here’s what’s currently broken. I won’t be able to do much work on this for at least a couple of weeks, so further progress will be a while. – Transferability logic – assumption that only need to worry about matching variables was horribly […more]
While debugging my current solution (which by the way, is “complete” but has failed some tests and I’m in the process of figuring out why) I noticed a problem with one of my logical test cases. It’s based on a classic prolog-based test case (one used as an example in SWISH), and goes something like […more]
April 4 wasn’t that long ago, but it feels like a long time – I’ve spent quite a bit of energy on continuing the “massive overhaul”, but also taken some breaks and trips in the same time period. So where am I? A bit over halfway done with the “hard part”. And hopefully, more than […more]