The Art of Prolog, Second Edition

Re:The Art of Prolog, Second Edition by mthom on Wednesday October 10, 2018 @04:32PM (#18188574)

I'd venture to say.. Prolog and Shen. Specifically, I am implementing a modern Prolog in Rust that will encompass the results of some more recent (ie. current century) research within the logic programming/Prolog community. It's here:

http://github.com/mthom/rusty-wam

[ Parent | on HN ]

Re:The Art of Prolog, Second Edition by yazr on Wednesday October 10, 2018 @04:39PM (#18188642)

Is this more about new language constructs or a better run-time execution/solver ?

[ Parent | on HN ]

Re:The Art of Prolog, Second Edition by mthom on Wednesday October 10, 2018 @04:52PM (#18188766)

New language constructs. The 'WAM' in the name refers to the Warren Abstract Machine, one of the more efficient ways to implement Prolog in a procedural language.

Also, using the SICStus interface and semantics for attributed variables should make for some very general constraint solvers, yes.

[ Parent | on HN ]

Re:The Art of Prolog, Second Edition by nextos on Wednesday October 10, 2018 @05:39PM (#18189151)

What do you think about answer-set programming vs more general solvers like SICStus.

[ Parent | on HN ]

Re:The Art of Prolog, Second Edition by mthom on Thursday October 11, 2018 @09:45AM (#18193463)

I don't know enough about answer set programming to give much of an answer. Sorry.

[ Parent | on HN ]