GNU Prolog is a free Prolog compiler with constraint solving over finite domains.
Built By the Slant team
Add to Chrome
Add to Edge
Add to Firefox
Add to Opera
Add to Brave
Add to Safari