3 ms·
Oh that's easy: Prolog. Have a look under 2023 here for unusual applications thereof: https://emiruz.com/ https://emiruz.com/ and here for a book to learn it f
by usgroup 3y ago
Oh that's easy: Prolog. Have a look under 2023 here for unusual applications thereof: https://emiruz.com/ https://emiruz.com/
and here for a book to learn it from: https://book.simply-logical.space/src/simply-logical.html https://book.simply-logical.space/src/simply-logical.html
I think it is the closest thing to a "tool for expressing thought" with a proof procedure, which presently exists.
- sterlind 3y agoyes! so many times I reach for Prolog because it's a perfect fit for a problem. like modeling constraints, or generating a plan, or working out a type system. it's relatively easy to switch between functional and imperative styles, but replacing Prolog requires writing heavy algorithms.