Micro-PROLOG

From Wikipedia, the free encyclopedia