SASL plus conditional unification.
[“A Prological Definition of HASL, A Purely Functional Language with Unification Based Conditional Binding Expressions”, H. Abramson in Logic Programming: Functions, Relations and Equations, D. DeGroot et al eds, P-H 1986].
[has-lit, heys-, heyz-] /ˈhæs lɪt, ˈheɪs-, ˈheɪz-/ noun, Chiefly Southern U.S. 1. the heart, liver, etc., of a hog or other animal used for food. /ˈhæzlɪt/ noun 1. a loaf of cooked minced pig’s offal, eaten cold
[haz-muh-nee-uh n] /ˌhæz məˈni ən/ noun 1. a member of a priestly family of Jewish rulers and leaders in Judea in the 1st and 2nd centuries b.c.
[hasp] /hæsp/ noun 1. a clasp for a door, lid, etc., especially one passing over a staple and fastened by a pin or a padlock. verb (used with object) 2. to fasten with or as with a hasp. /hɑːsp/ noun 1. a metal fastening consisting of a hinged strap with a slot that fits over […]
poverty, “keeper of the wardrobe,” i.e., of the sacerdotal vestments (2 Chr. 34:22); called Harhas 2 Kings 22:14. He was husband of the prophetess Huldah.