CLIPS: A programming language </>