About The Search Space

Hi!

I’m Felix, and this is a podcast where I interview researchers and practicioners in the field of logic programming.

If you have heard about logic programming before, most likely it’s in the form of Prolog—a programming language that is more than 50 years old, and which many find fascinating but also frustrating.

What many people don’t know is that both Prolog and the field of logic programming as a whole has evolved a lot over the decades, and there are a bunch of interesting languages and systems that go far beyond the early versions of Prolog.

Although logic programming has been closely associated with so-called symbolic AI, I believe it’s also a great tool for regular software engineering. One of the themes of The Search Space is to learn from people who built great software using logic programming.

Logic programming (like logic in general) also has rich connections with topics in philosophy, linguistics, and psychology to databases, law and computer games—all of which will be explored here (in due time).

You can follow the podcast and give me feedback on Mastodon, @thesearchspace@mathstodon.xyz.

If you find the podcast valuable, you can encourage me by buing me a cup of good old coffee!

I hope you’ll join me in discovering the beauty of logic programming!