Hacker News new | ask | show | jobs
by will_byrd 1846 days ago
The Gödel programming language from Patricia Hill and John W. Lloyd is, to me, a good example of what a Prology language would look like, if designed from the ground-up for relational programming.

I also suspect lambdaProlog would make for a nice foundation for relational programming, if the search were improved.