News for hackers. Stuff that matters.

A comment on Prolog and Logic Programming Historical Sources Archive. Parent comment

Re:Prolog and Logic Programming Historical Sources Archive by 7thaccount on Sunday March 22, 2020 @06:17PM (#22659251)
We often don't learn from the greats of computer science (all sorts of APL goodness from the 70s is being rediscovered for data science today).

As far as modern Prolog. I know commercial systems still exist, but I assume most work has switched to SWI-Prolog?

[ Parent | on HN ]
Re:Prolog and Logic Programming Historical Sources Archive by falsissime on Sunday March 22, 2020 @07:08PM (#22659637)
Do not forget SICStus, it´s jitter is truly excellent.
[ Parent | on HN ]
Re:Prolog and Logic Programming Historical Sources Archive by 7thaccount on Sunday March 22, 2020 @07:18PM (#22659725)
Yeah, I've heard a bit about that one, but have lumped it into the commercial ones that you'd have to have a solid need to justify a license cost like running something important in production that requires support or you'd probably need an academic license.
[ Parent | on HN ]
Re:Prolog and Logic Programming Historical Sources Archive by falsissime on Sunday March 22, 2020 @08:52PM (#22660298)
https://sicstus.sics.se/order4.html

Includes an evaluation license (free) and a personal license for EUR 165.

[ Parent | on HN ]
Re:Prolog and Logic Programming Historical Sources Archive by 7thaccount on Sunday March 22, 2020 @10:00PM (#22660588)
The personal license cannot be used for any commercial purposes (basically just academic research or play). The single-user commercial license is over $2000. Not that any of that is unreasonable in industry, but you're making it out to be cheaper than it is.
[ Parent | on HN ]
Re:Prolog and Logic Programming Historical Sources Archive by falsissime on Monday March 23, 2020 @07:09AM (#22662857)
$2250 is the first year. Then $750 a year. This includes support. To my understanding, development alone without distribution falls under the personal license.
[ Parent | on HN ]
Re:Prolog and Logic Programming Historical Sources Archive by falsissime on Monday March 23, 2020 @11:44AM (#22665126)
Should have been EUR in place of $
[ Parent | on HN ]
Re:Prolog and Logic Programming Historical Sources Archive by raarts on Monday March 23, 2020 @07:28PM (#22670019)
Can anyone point to prolog systems still in production?
[ Parent | on HN ]
Re:Prolog and Logic Programming Historical Sources Archive by 7thaccount on Tuesday March 24, 2020 @12:05AM (#22671777)
Michael Hendricks has a few neat talks on YouTube and InfoQ on how they use Prolog in production.
[ Parent | on HN ]