Steven Rosenberg HPRL: A Language for Building Expert Systems. 215-217 1983 IJCAI db/conf/ijcai/ijcai83.html#Rosenberg83