TAO (1526/tao001)

 NUE Logo

Lisp dialect with concurrency, object-orientation and logic.  

5th Generation Project LISP dialect developed by Takeuchi et al at NTT as part of the NUE intelligent programming system. Ran on a special LISP machine ELIS.
Lisp dialect with concurrency, object-orientation and logic.

Structures:
Related languages
TAO => TAO86   Evolution of

Samples:
References:
  • Osato Nobuyasu, Takeuchi Ikuo "Object-Oriented Programming in Multiple-Paradigm. Language TAO and Its Implementation" view details Abstract: The language specification of object-oriented programming in multiple programming paradigm language TAO and its performance evaluation are described. TAO's goal is to provide a high performance programming evironment for artificial intelligence research. TAO's central part is microprogrammed on a dedicated symbol manipulation machine called ELIS. One of the main design principles of TAO is to allow the programmer to choose a suitable programming paradigm for his objective. To achieve this principle, TAO incorporates multiple programming paradigms such as logic programming, object-oriented programming and so forth into its basic Lisp programming. This programming paradigm fusion is accomplished within the kernel of the language. This paper discusses the TAO's object-oriented programming: its implementation technique in detail and performance evaluation. It demonstrates that TAO's object-oriented programming is efficient enough and by no means inferior to its Lisp programming paradigm from the viewpoint of practicality. The validity of the implementation method is also discussed by analyzing a couple of practical application programs.
  • Takeuchi, I.; H Okuno and N Ohsato "TAO --- A Harmonic Mean of Lisp, Prolog and Smalltalk" pp 65-73 view details
          in SIGPLAN Notices 18(07) July 1983 view details
  • Padget, J. A. "Current Development in LISP" view details Abstract: This talk is a survey, in part from firsthand experience of the
    current developments in LISP and specialized LISP hardware
    happening in Europe, America and Japan. This research will
    have major implications for computer algebra and algebra system
    environments.
    Although LISP, by its extensible nature, has always been an
    evolving language, unconstrained by standards, the past few
    years have been amongst the most active. In the field of
    language work there have been SCHEME-84, Common LISP,
    Standard LISP 85 and 3-LISP, whilst in hardware there are the
    continuing development of Symbolics, the arrival of Texas
    Instruments, several experimental machines in Japan, such as
    FLATS, Alpha and TAO, and the start of similar projects in
    Europe.
    How all these factors will affect future developments and implementations
    of REDUCE, MACSYMA and SCRATCHPAD will
    also be discussed.
          in European Conference on Computer Algebra EUROCAL 85 LNCS 204 view details
  • Takeuchi, I., Okuno, H., and Ohsato, N. "A List Processing Language TAO with Multiple Programming Paradigms", New Generation Computing 4 (1986), pp. 401-444. view details
          in European Conference on Computer Algebra EUROCAL 85 LNCS 204 view details
  • Takeuchi, I., Takahashi, K. and Shimizu, H. "A Parallel Problem Solving Language for Concurrent Systems view details
          in Proc. of IFIP Workshop on the Concepts and Characteristics of Knowledge-based Systems, M.Tokoro (ed.), Mt. Fuji, Japan, November 1987. view details
  • Yamazaki Kenichi "The Compiler for the Logic Paradigm of TAO" view details Abstract: A logic paradigm compiler for a multiple programming paradigm language TAO/ELIS is described. The main problem we attack is to design and develop a logic paradigm compiler which 1)provides the same programming environment as the interpreter and 2)generates efficient compiled codes. Compiled codes keep minimum information of its execution history so that a programmer can debug compiled codes as if they were interpreted codes. This paper also describes many optimization techniques adopted in TAO/ELIS system, some of which are applicable to ordinary WM based Prolog compiler as well.


          in IPSJ SIGNotes Symbol manipulation Abstract No.050 - 003 view details
  • Takeuchi, I. "Concurrent Programming in TAO Practice and Experience", pp271-299 view details
          in Parallel Lisp: Languages and Systems, T. Ito et al eds, LNCS 441, Springer 1989 view details
  • Kenichi Yamazaki, Masaharu Yoshida, Yoshiji Amagai, Ikuo Takeuchi "Structured Data and Undefined Value in TAO" IPSJ Transactions on Programming Vol.42 No.SIG07 - 007 view details Abstract: Lisp can have much expressive power by incorporating logic-programming facilities. In this paper, we discuss implementation issues of this incorporation, especially for internal data representation such as undefined value (`UNDEF') and reference (`REF'). We designed two Lisp-based multi-paradigm programming languages, TAO86 and TAO, to solve these issues. In TAO86, UNDEF is a first-class immediate value, and REF is dereferenced by the system automatically. This solution is quite simple but did not have enough power to handle the whole set of data so that TAO86 provides some adhoc builtin functions. TAO, a thoroughly redesigned successor of TAO86, has new features such as functional predicates and pattern-matching mechanism that give an elegant solution of TAO86 issues. This paper also describes the implementation of internal data representation and data handling mechanisms in detail.

          in Parallel Lisp: Languages and Systems, T. Ito et al eds, LNCS 441, Springer 1989 view details
    Resources