June 27, 2018

Scala Logic

Tags: Scala, Technical, Projects

Some people may know that over 20 years ago a did a little postgrad research into computational logic. While not much benefit came out of that work, it did give me an interest in logic. So when it came time to refresh my Scala skills, I thought it might be interesting to try creating a simple logical resolution system. A toy version of Prolog.

Now it is finished, and it doesn’t seem so bad. With some work it could even grow to a full Prolog implementation. It might even be useful in its currently limited state. So I have decided to opensource and release it through Gitlab.

If interested it is available here.

FYI: Gitlab seems like a decent online repo site, so in the future I may put other projects under my page there.