3 ms·
A tangeant question is: Which non-niche language are having push for integrating a subset of logic programming extensions ? There was a (unlikely to be merged
by The_rationalist 6y ago
A tangeant question is: Which non-niche language are having push for integrating a subset of logic programming extensions ?
There was a (unlikely to be merged at least in its current form) proposal for Kotlin -> https://github.com/Kotlin/KEEP/pull/199/files https://github.com/Kotlin/KEEP/pull/199/files
Maybe LINQ from .NET could be included
There is also chalk from Rust https://github.com/rust-lang/chalk https://github.com/rust-lang/chalk
- ahelwer 6y agoLINQ is just in-language SQL with type checks, unless I'm ignorant of a bunch of its functionality (which I really hope is true, now).
- tjalfi 6y agoThere's a lot more to LINQ than that. LINQ is extensible and you can connect it to arbitrary data sources by writing a query provider. awesome-linq[0] has some examples of what can be done with it. [0] https://github.com/aloisdg/awesome-linq https://github.com/aloisdg/awesome-linq
- ahelwer 6y agoOh sure yeah, but I don't think it has any logic/constraint programming functionality.