3 ms·

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 c

by mthom 8y ago

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 http://github.com/mthom/rusty-wam

yazr 8y ago
Is this more about new language constructs or a better run-time execution/solver ?
- mthom 8y ago
  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.
  - nextos 8y ago
    What do you think about answer-set programming vs more general solvers like SICStus.
    - mthom 8y ago
      I don't know enough about answer set programming to give much of an answer. Sorry.