Formula for yap (prolog)

Started with Jay Han's pull request at #15929 and fixed build for OS X 10.8 ("Mountain Lion") by disabling MYDDAS_ODBC and configuring readline dependency. Per yap maintainer Paulo Moura, it may also be necessary to set the enable-clpbn-bp option for version 6.2.2, so this is done. Multithreading and java are enabled (another suggestion by Paulo), but enable-or-parallelism is switched off because this breaks the devel build (v6.3.3).