I confess that I too fell for the 5th gen hype and spent a couple years diving deep into Prolog in the mid 80s. It wasn't a total waste however, I still find my knowledge of Prolog coming in handy. Logic programming is an interesting concept, but not in the way they envisaged it in the 80s. In particular, I am fascinated by answer set programming. There is no need to shoe-hard Turing completeness into logic programming.