A full prolog implementation of algebraic-geometric theory.