Abstract
A new logic programming language, ShapeUp, is developed. ShapeUp is an expanded Prolog system with string matching facilities. The language has been developed to give programmers a new computer programming environment, especially for knowledge information processing. This area includes natural language comprehension and intelligent text processing systems with better man-machine interfaces. For this kind of application, character string data play a principal part rather than conventional numerical data. In ShapeUp, string patterns are introduced as Prolog ‘terms’. Their matching process is performed inside the unification. Thus, a program is far simpler and easier to write and read in ShapeUp, than in conventional Prolog systems, and program size is extremely reduced.
This is a preview of subscription content, log in via an institution to check access.
References
Pereira, F. C. N. and Warren, D. H. D.: “User’s guide to DEC system-10 PROLOG” (Dept. of Artificial Intelligence, Univ. of Edinburgh, 1978).
Roussel, P.: “Prolog Manuel de Reference et d’Utilisation” (Groupe d’Intelligence Artificielle, Marseille-Luminy, 1975).
McCabe, F. G.: “Micro-Prolog Programmer’s Reference Manual” (Logic Programming Associates Ltd., 1981).
Siekmann, J. and Szabo, P.: “Universal Unification and a Classification of Equational Theories”, Lecture Note in Computer Science,No. 138 (1982).
Griswold, R. E.: “The SNOBOL4 Programming Language”, (2nd ed.) (Prentice-Hall, 1971).
Morris, J. H., Schmidt, E. and Wadler, P.: “Experience with an applicative string processing language,” in Proc. 7th POPL (1980).
Author information
Authors and Affiliations
About this article
Cite this article
Konagaya, A., Umemura, M. Knowledge information processing language: ShapeUp. NGCO 2, 195–201 (1984). https://doi.org/10.1007/BF03037103
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF03037103