noun Definition of vel in Technology A Lisp dialect descended from MLISP and MLISP2. Also known as PLISP and VEL. Useful for parsing. Only the pattern-matching system was published and fully implemented. According to Alan Kay, LISP70 had an influence on Smalltalk-72. "The LISP70 Pattern Matching System, Larry Tesler et al, IJCAI 73. 1
noun vel (logic) The ∨ symbol used to represent the inclusive or logical connective. 0