|
|
|
|
|
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. |
|