H ?
«
‹
←
→
›
»
Language peer sets for CLAIRE: France↑ France/1996↑ Designed 1996 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ CLAIRE(ID:1902/cla001)alternate simple viewCountry: France Designed 1996 is a high-level functional and OOL with advanced rule processing capabilities. It is intended to allow the programmer to express complex algorithms with fewer lines and in an elegant readable form. Parametric classes and methods, OO logic with set extensions, dynamic versioning that supports easy exploration of search spaces, very rich type system including type intervals and second-order types (with dual static/dynamic typing). Set-based with an intuitive syntax, simple OOP, truly polymorphic and parametric programming, powerful yet readable extensions of DATALOG to express logic conditions. Has a complete system with compiler, interpreter, tools - tracer, debugger, and object inspector. Structures: Related languages
References: in Proceedings of the JICSLP'96 workshop on multi-par (1996) Proceedings of the JICSLP'96 workshop on multi-paradigm logic programming. TU Berlin, 1996 in (1999) ICLP 1999 in (2002) Theory and Practice of Logic Programming (TPLP) 2(6) Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |