extra credit Search 85,062 technologies ⌘K Download for Mac

swi-prolog

ISO/Edinburgh-style Prolog interpreter

brew install swi-prolog
↑↓ move ↵ open