我正试图在Mac上获得ALEPH - 一种用于提出假设的学习引擎 - http://www.cs.ox.ac.uk/activities/machinelearning/Aleph/aleph。
据我所知，我将需要YAP - 又一个Prolog。据我在互联网上发现，每个人都是“brew install yap”（我已经酿造）了。这就是我得到的：
$ brew install yap
Error: No available formula with the name "yap"
==> Searching for a previously deleted formula...
Warning: homebrew/core is shallow clone. To get complete history run: git -C "$(brew --repo homebrew/core)" fetch --unshallow
Error: No previously deleted formula found.
==> Searching for similarly named formulae...
==> Searching local taps...
Error: No similarly named formulae found.
==> Searching taps...
==> Searching taps on GitHub...
Error: No formulae found in taps.
有没有人知道该怎么做？