public marks

PUBLIC MARKS from ionial with tags unification & now

ionial's TAGS related to tag unification

lisp +   now +   paper +   prolog +   toread +   tosave +