LOGLISP: an alternative to PROLOG