A new formula yap.

Adding a new formula yap or Yet Another Prolog.