An implementation of Prolog in C, developed by F. Pereira <[email protected]> et al in July 1982. It had no garbage collection.

It is not in the public domain.