search

mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.
BSD 3-Clause "New" or "Revised" License
2.05k stars 121 forks source link

Usability #9

Open leonweber opened 6 years ago

leonweber commented 6 years ago

I am currently looking into implementing weak unification into a WAM, following https://link.springer.com/chapter/10.1007/978-3-642-02478-8_31. Do you think that the basic resolution capabilities of your WAM are stable enough to be used in a real world setting?

mthom commented 6 years ago

Probably, yes. Some changes to the unification algorithm are forthcoming, but they only have to do with extending it with attributed variables. If you don't use attributed variables, it will be the same as before.