Comment Comment by raizinho This is something I've given some thought to since encountering logic programming. Could something like this be done in say, Prolog? parent raizinho 6 years ago