YAP is a Prolog system developed since 1985 at the Universities of Porto and Rio de Janeiro

YAP is a Prolog system developed since 1985 at the Universities of Porto and Rio de Janeiro.