I once wrote something in Turbo Prolong which had both chaining inference and menus. Chaining inference fit well in the language. Drop-down menus were really painful in pure Prolog.

Prolog has a use case, but it's just not that big.