Functions Within the Unify Algorithm
{"Image DocumentName": "Functions Within the Unify Algorithm", "Image ImageDescription": "isa_variable(x) checks whether x is a variable. isa_list(x) checks whether x is a list. head(x) outputs the head of a list (first term) e.g., head([a,b,c]) = a. tail(x) outputs the elements other than the head in a list. e.g., tail([a,b,c]) = [b,c]", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}