Prolog has traditionally been associated with various AI projects (although a bit different than some of the modern AI techniques I think). You should be able to find something high level in many of the prolog texts from the late 80s/90s.