INFORMATION PROCESSOR

PURPOSE:To perform processing based upon program information at a high speed by allowing a logical device to generate correspondence relation between pieces of program information corresponding to correspondence relation between arguments of a predicate logical type language. CONSTITUTION:Arguments are supplied to input terminals of the logical device 1 respectively. Pieces of bind information appear at output terminals 4 and 5. When one argument is a variable and the other is a constant, a variable and a constant appear at the output terminals 4 and 5, and when both input arguments are variables and dissident, the variable to the input terminal and the variable to the input terminal 3 are outputted to the output terminals 4 and 5 respectively. In other cases, no output is obtained as bind information. When both input arguments are constants and dissident, they are outputted to an output terminal 6. For example, when (A, B, *X, *Y, E, *Z) is inputted to Di and (*P, *Q, *X, D, E, *R) is inputted to Ei, (*Z, *Y, *Q, *P) and (*R, D, B, A) are outputted at the output terminals 4 and 5 respectively.