Herbrand(ID:3759/her002)
Began: 1995
Languages for 1995
1990s languages
Fifth generation
Post-Cold War
underlying logic constraint language?