/****************************************************************************** * EXPR1T1 .PRO * * ABO Software Dep. * * * * Purpose : to test the module EXPR1.PRO * * * * Notes : * * * * Version Date : 13 Sep 1990 * ******************************************************************************/ INCLUDE "EXPR1.PRO" CONSTANTS DOMAINS DATABASE PREDICATES GOAL findterm(mult(var("X"),mult(num(4),var("X")),_,_). CLAUSES