摘要I’ll introduce this programming paradigm using examples.This paradigm has shown it power in designing intelligent agents. I’ll also show the preciseness of the language by giving definition of its syntax and semantics.