Yap Prolog (Yet Another Prolog) Procurar por palavra chave Yap Prolog.

B-Prolog

SWI-Prolog