New posts in Logic Programming

Does Prolog need GC when the occurs check is globally enabled?

Executing prolog code on an iPhone

What is more interesting or powerful: Curry, Mercury or Lambda-Prolog?

Can you do Logic Programming in Scala?

Relational/Logic Programming in Python?

Why hasn't logic programming caught on?

What are the best uses of Logic Programming?