Un limbaj de calculator care încorporează conceptele de sisteme bazate pe cunoştinţe, sisteme expert, motoare de inferenţă şi prelucrarea limbajului natural.