{5}% SCE_VISUALPROLOG_KEY_MAJOR (1){0} {1}goal{0} {5}% SCE_VISUALPROLOG_KEY_MINOR (2){0} {2}procedure{0} {5}% SCE_VISUALPROLOG_KEY_DIRECTIVE (3){0} {3}#include{0} {5}% SCE_VISUALPROLOG_COMMENT_BLOCK (4){0} {4}/** SCE_VISUALPROLOG_COMMENT_KEY (6) {6}@detail{4} SCE_VISUALPROLOG_COMMENT_KEY_ERROR (7) {7}@unknown{4} /* SCE_VISUALPROLOG_IDENTIFIER (8) SCE_VISUALPROLOG_VARIABLE (9) SCE_VISUALPROLOG_ANONYMOUS (10) SCE_VISUALPROLOG_NUMBER (11) SCE_VISUALPROLOG_OPERATOR (12) */ */{0} {8}lambda{0} {12}={0} {12}{{0} {12}({9}A{12}){0} {12}={0} {12}{{0} {12}({9}B{12},{0} {10}_discard{12}){0} {12}={0} {9}A{12}*{9}B{12}+{11}1{0} {12}}{0} {12}}.{0} {5}% SCE_VISUALPROLOG_COMMENT_LINE (5){0} {5}% comment line{0} {5}% SCE_VISUALPROLOG_STRING_QUOTE (16){0} {16}""{0} {5}% SCE_VISUALPROLOG_STRING (20){0} {16}"{20}string{16}"{0} {16}'{20}string{16}'{0} {16}@"{20}verbatim string{16}"{0} {16}@[{20}