News for hackers. Stuff that matters.

A comment on William Byrd on logic and relational programming, miniKanren (2014). Parent comment

Re:William Byrd on logic and relational programming, miniKan... by will_byrd on Wednesday June 02, 2021 @12:43PM (#27370846)
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.

[ Parent | on HN ]

There are no comments on this comment yet.