So far as I can tell, there is no program logic_equiv in Maxima. Where did you read about it, and does the documentation mention any file you have to load first?