CSharpProlog
CSharpProlog copied to clipboard
Does constraints work?
I'm sorry, but I could not understand what your question meant. Would you explain your question more elaborately?
https://en.wikibooks.org/wiki/Prolog/Constraint_Logic_Programming
@furesoft
Maybe I could say "Yes".
Please see the screenshot below that I tried on the "Prolog on Browser" ( https://jsakamoto.github.io/Prolog-on-Browser/ ), built on this library.

Note: The query dif(X, Y), member(X, [foo, bar]), member(Y, [foo, bar]). did not work as I expected. It will be the limitation of this library.
And the following article I wrote a year ago might be helpful for you. Please check it out.