EXAMPLE Show that L is a list of positive numbers. all_pos_nums(L) :- is_list(L), forall(member(U, L), (number(U), U>0)).
{"Image DocumentName": "EXAMPLEShow that L is a list of positive numbers. all_pos_nums(L) :- is_list(L), forall(member(U, L), (number(U), U>0)).", "Image ImageDescription": "and some appropriate is_list procedure.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}