Language peer sets for TAO: Japan↑ Japan/1983↑ Designed 1983 ↑ 1980s languages ↑ Fourth generation↑ Late Cold War↑ String and List Processing ↑ String and List Processing/1983↑ String and List Processing/jp ↑
TAO (1526/tao001)
Lisp dialect with concurrency, object-orientation and logic.
alternate simple view
Country: Japan
Designed 1983
Published: 1983
Sammet category: String and List Processing 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:
TARAI funciton: Original definition of TAK Function (defun tarai (x y z) (cond ((> x y) (tarai (tarai (1- x) y z) (tarai (1- y) z x) (tarai (1- z) x y) )) (t y) ))
TAK function : John Macarthy's variation of TARAI function (defun tak (x y z) (cond ((not (< y x)) z) (t (tak (tak (1- x) y z) (tak (1- y) z x) (tak (1- z) x y)))))
References:
Osato Nobuyasu, Takeuchi Ikuo (1983) Osato Nobuyasu, Takeuchi Ikuo "Object-Oriented Programming in Multiple-Paradigm. Language TAO and Its Implementation"
Abstract
Padget (1985) Padget, J. A. "Current Development in LISP"
Abstract in (1985) European Conference on Computer Algebra EUROCAL 85 LNCS 204
Takeuchi, I., Okuno, H., and Ohsato, N. (1986) Takeuchi, I., Okuno, H., and Ohsato, N. "A List Processing Language TAO with Multiple Programming Paradigms", New Generation Computing 4 (1986), pp. 401-444.
in (1985) European Conference on Computer Algebra EUROCAL 85 LNCS 204
Takeuchi, I., Takahashi, K. and Shimizu, H. (1987) Takeuchi, I., Takahashi, K. and Shimizu, H. "A Parallel Problem Solving Language for Concurrent Systems
in Proc. (1987) Proc. of IFIP Workshop on the Concepts and Characteristics of Knowledge-based Systems, M.Tokoro (ed.), Mt. Fuji, Japan, November 1987.
Yamazaki Kenichi (1988) Yamazaki Kenichi "The Compiler for the Logic Paradigm of TAO"
Abstract in (1988) IPSJ SIGNotes Symbol manipulation Abstract No.050 - 003