Forth is a computer language originally designed for embedded and real time applications. Forth is a structured, imperative, reflexive, extensible, stack based computer programming language and programming environment. Forth is not an assembler, it is a high-level language (although most versions also include an assembler for the target processor). However, it does not really resemble most other high-level programming language. A procedural programming language without type checking, Forth features both interactive execution of commands (making it suitable as a shell for systems that lack a more formal operating system) and the ability to compile sequences of commands for later execution. Forth has enough support to keep several language vendors and contractors in business. Forth is currently used in boot loaders boot loaders such as Open Firmware, space applications, and other embedded systems

Lisp is a family of computer programming languages used for the Artificial intelligence and mathematical applications. Lisp the second oldest high-level programming language that introduce the many new features to the programming e.g tree data structures, management, dynamic, and the self-hosting compiler. Linked Lists are the main data type of the lisp programming language on the name of the “list processing” the name LISP is derived. Lisp programming language provide the feature of interchangeability of the code and data to provide the instant recognizable syntax. It quickly became the favored programming language for artificial intelligence (AI) research. Lisp has spawned many variations on the core theme of an S-expression language. Moreover, each given dialect may have several implementations—for instance, there are more than a dozen implementations of Common Lisp

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation. Maude supports in a systematic and efficient way logical reflection. This makes Maude remarkably extensible and powerful, supports an extensible algebra of module composition operations, and allows many advanced meta-programming and metalanguage applications

Poplog is a logic based programming language and it is multi-language programming environment for the programming languages POP-11, Common Lisp, Prolog and standard ML. It was developed in UK for teaching and research in artifical intelligence at the University of Sussex. It is free Cross-platform Compiler

Roop is a multiparadigm programming language which is target the artificial intelligence applications. Roop Programming language is developed in the china at the Chengdu University of China. Roop programming language is easy to learn and flexible programming language as compare to other artificial intelligence programming languages. It combines the rule-based, procedural, logical and object-oriented programming languages. Roop Programming language can be used in many parts of the artificial intelligence :

• game playing
• expert system
• natural language
• neural network
• robotics