/* * Interface to a harness for testing an interpreter for * Horn clause logic */ sig hcinterp_examples. accum_sig logic_types, logic_vocab. type pathfroma term -> o.
/* * Interface to a harness for testing an interpreter for * Horn clause logic */ sig hcinterp_examples. accum_sig logic_types, logic_vocab. type pathfroma term -> o.