Prolog? http://news.ycombinator.com/item?id=1023192 was recently posted. You create relations between terms with clauses and query them to create programs in Prolog.
Though, I'd be (happily) surprised if Alain Colmerauer read HN.
Though, I'd be (happily) surprised if Alain Colmerauer read HN.
It wasn't a logic language; you actually created new syntax for the language, with BNF rules.