%  ctype.h information, output in prolog form
isascii(0).
iscntrl(0).
isascii(1).
iscntrl(1).
isascii(2).
iscntrl(2).
isascii(3).
iscntrl(3).
isascii(4).
iscntrl(4).
isascii(5).
iscntrl(5).
isascii(6).
iscntrl(6).
isascii(7).
iscntrl(7).
isascii(8).
iscntrl(8).
isascii(9).
isblank(9).
iscntrl(9).
isspace(9).
isascii(10).
iscntrl(10).
isspace(10).
isascii(11).
iscntrl(11).
isspace(11).
isascii(12).
iscntrl(12).
isspace(12).
isascii(13).
iscntrl(13).
isspace(13).
isascii(14).
iscntrl(14).
isascii(15).
iscntrl(15).
isascii(16).
iscntrl(16).
isascii(17).
iscntrl(17).
isascii(18).
iscntrl(18).
isascii(19).
iscntrl(19).
isascii(20).
iscntrl(20).
isascii(21).
iscntrl(21).
isascii(22).
iscntrl(22).
isascii(23).
iscntrl(23).
isascii(24).
iscntrl(24).
isascii(25).
iscntrl(25).
isascii(26).
iscntrl(26).
isascii(27).
iscntrl(27).
isascii(28).
iscntrl(28).
isascii(29).
iscntrl(29).
isascii(30).
iscntrl(30).
isascii(31).
iscntrl(31).
isascii(32).
isblank(32).
isprint(32).
isspace(32).
isascii(33).
isgraph(33).
isprint(33).
ispunct(33).
isascii(34).
isgraph(34).
isprint(34).
ispunct(34).
isascii(35).
isgraph(35).
isprint(35).
ispunct(35).
isascii(36).
isgraph(36).
isprint(36).
ispunct(36).
isascii(37).
isgraph(37).
isprint(37).
ispunct(37).
isascii(38).
isgraph(38).
isprint(38).
ispunct(38).
isascii(39).
isgraph(39).
isprint(39).
ispunct(39).
isascii(40).
isgraph(40).
isprint(40).
ispunct(40).
isascii(41).
isgraph(41).
isprint(41).
ispunct(41).
isascii(42).
isgraph(42).
isprint(42).
ispunct(42).
isascii(43).
isgraph(43).
isprint(43).
ispunct(43).
isascii(44).
isgraph(44).
isprint(44).
ispunct(44).
isascii(45).
isgraph(45).
isprint(45).
ispunct(45).
isascii(46).
isgraph(46).
isprint(46).
ispunct(46).
isascii(47).
isgraph(47).
isprint(47).
ispunct(47).
isalnum(48).
isascii(48).
isdigit(48).
isgraph(48).
isprint(48).
isxdigit(48).
isalnum(49).
isascii(49).
isdigit(49).
isgraph(49).
isprint(49).
isxdigit(49).
isalnum(50).
isascii(50).
isdigit(50).
isgraph(50).
isprint(50).
isxdigit(50).
isalnum(51).
isascii(51).
isdigit(51).
isgraph(51).
isprint(51).
isxdigit(51).
isalnum(52).
isascii(52).
isdigit(52).
isgraph(52).
isprint(52).
isxdigit(52).
isalnum(53).
isascii(53).
isdigit(53).
isgraph(53).
isprint(53).
isxdigit(53).
isalnum(54).
isascii(54).
isdigit(54).
isgraph(54).
isprint(54).
isxdigit(54).
isalnum(55).
isascii(55).
isdigit(55).
isgraph(55).
isprint(55).
isxdigit(55).
isalnum(56).
isascii(56).
isdigit(56).
isgraph(56).
isprint(56).
isxdigit(56).
isalnum(57).
isascii(57).
isdigit(57).
isgraph(57).
isprint(57).
isxdigit(57).
isascii(58).
isgraph(58).
isprint(58).
ispunct(58).
isascii(59).
isgraph(59).
isprint(59).
ispunct(59).
isascii(60).
isgraph(60).
isprint(60).
ispunct(60).
isascii(61).
isgraph(61).
isprint(61).
ispunct(61).
isascii(62).
isgraph(62).
isprint(62).
ispunct(62).
isascii(63).
isgraph(63).
isprint(63).
ispunct(63).
isascii(64).
isgraph(64).
isprint(64).
ispunct(64).
isalnum(65).
isalpha(65).
isascii(65).
isgraph(65).
isprint(65).
isupper(65).
isxdigit(65).
isalnum(66).
isalpha(66).
isascii(66).
isgraph(66).
isprint(66).
isupper(66).
isxdigit(66).
isalnum(67).
isalpha(67).
isascii(67).
isgraph(67).
isprint(67).
isupper(67).
isxdigit(67).
isalnum(68).
isalpha(68).
isascii(68).
isgraph(68).
isprint(68).
isupper(68).
isxdigit(68).
isalnum(69).
isalpha(69).
isascii(69).
isgraph(69).
isprint(69).
isupper(69).
isxdigit(69).
isalnum(70).
isalpha(70).
isascii(70).
isgraph(70).
isprint(70).
isupper(70).
isxdigit(70).
isalnum(71).
isalpha(71).
isascii(71).
isgraph(71).
isprint(71).
isupper(71).
isalnum(72).
isalpha(72).
isascii(72).
isgraph(72).
isprint(72).
isupper(72).
isalnum(73).
isalpha(73).
isascii(73).
isgraph(73).
isprint(73).
isupper(73).
isalnum(74).
isalpha(74).
isascii(74).
isgraph(74).
isprint(74).
isupper(74).
isalnum(75).
isalpha(75).
isascii(75).
isgraph(75).
isprint(75).
isupper(75).
isalnum(76).
isalpha(76).
isascii(76).
isgraph(76).
isprint(76).
isupper(76).
isalnum(77).
isalpha(77).
isascii(77).
isgraph(77).
isprint(77).
isupper(77).
isalnum(78).
isalpha(78).
isascii(78).
isgraph(78).
isprint(78).
isupper(78).
isalnum(79).
isalpha(79).
isascii(79).
isgraph(79).
isprint(79).
isupper(79).
isalnum(80).
isalpha(80).
isascii(80).
isgraph(80).
isprint(80).
isupper(80).
isalnum(81).
isalpha(81).
isascii(81).
isgraph(81).
isprint(81).
isupper(81).
isalnum(82).
isalpha(82).
isascii(82).
isgraph(82).
isprint(82).
isupper(82).
isalnum(83).
isalpha(83).
isascii(83).
isgraph(83).
isprint(83).
isupper(83).
isalnum(84).
isalpha(84).
isascii(84).
isgraph(84).
isprint(84).
isupper(84).
isalnum(85).
isalpha(85).
isascii(85).
isgraph(85).
isprint(85).
isupper(85).
isalnum(86).
isalpha(86).
isascii(86).
isgraph(86).
isprint(86).
isupper(86).
isalnum(87).
isalpha(87).
isascii(87).
isgraph(87).
isprint(87).
isupper(87).
isalnum(88).
isalpha(88).
isascii(88).
isgraph(88).
isprint(88).
isupper(88).
isalnum(89).
isalpha(89).
isascii(89).
isgraph(89).
isprint(89).
isupper(89).
isalnum(90).
isalpha(90).
isascii(90).
isgraph(90).
isprint(90).
isupper(90).
isascii(91).
isgraph(91).
isprint(91).
ispunct(91).
isascii(92).
isgraph(92).
isprint(92).
ispunct(92).
isascii(93).
isgraph(93).
isprint(93).
ispunct(93).
isascii(94).
isgraph(94).
isprint(94).
ispunct(94).
isascii(95).
isgraph(95).
isprint(95).
ispunct(95).
isascii(96).
isgraph(96).
isprint(96).
ispunct(96).
isalnum(97).
isalpha(97).
isascii(97).
isgraph(97).
islower(97).
isprint(97).
isxdigit(97).
isalnum(98).
isalpha(98).
isascii(98).
isgraph(98).
islower(98).
isprint(98).
isxdigit(98).
isalnum(99).
isalpha(99).
isascii(99).
isgraph(99).
islower(99).
isprint(99).
isxdigit(99).
isalnum(100).
isalpha(100).
isascii(100).
isgraph(100).
islower(100).
isprint(100).
isxdigit(100).
isalnum(101).
isalpha(101).
isascii(101).
isgraph(101).
islower(101).
isprint(101).
isxdigit(101).
isalnum(102).
isalpha(102).
isascii(102).
isgraph(102).
islower(102).
isprint(102).
isxdigit(102).
isalnum(103).
isalpha(103).
isascii(103).
isgraph(103).
islower(103).
isprint(103).
isalnum(104).
isalpha(104).
isascii(104).
isgraph(104).
islower(104).
isprint(104).
isalnum(105).
isalpha(105).
isascii(105).
isgraph(105).
islower(105).
isprint(105).
isalnum(106).
isalpha(106).
isascii(106).
isgraph(106).
islower(106).
isprint(106).
isalnum(107).
isalpha(107).
isascii(107).
isgraph(107).
islower(107).
isprint(107).
isalnum(108).
isalpha(108).
isascii(108).
isgraph(108).
islower(108).
isprint(108).
isalnum(109).
isalpha(109).
isascii(109).
isgraph(109).
islower(109).
isprint(109).
isalnum(110).
isalpha(110).
isascii(110).
isgraph(110).
islower(110).
isprint(110).
isalnum(111).
isalpha(111).
isascii(111).
isgraph(111).
islower(111).
isprint(111).
isalnum(112).
isalpha(112).
isascii(112).
isgraph(112).
islower(112).
isprint(112).
isalnum(113).
isalpha(113).
isascii(113).
isgraph(113).
islower(113).
isprint(113).
isalnum(114).
isalpha(114).
isascii(114).
isgraph(114).
islower(114).
isprint(114).
isalnum(115).
isalpha(115).
isascii(115).
isgraph(115).
islower(115).
isprint(115).
isalnum(116).
isalpha(116).
isascii(116).
isgraph(116).
islower(116).
isprint(116).
isalnum(117).
isalpha(117).
isascii(117).
isgraph(117).
islower(117).
isprint(117).
isalnum(118).
isalpha(118).
isascii(118).
isgraph(118).
islower(118).
isprint(118).
isalnum(119).
isalpha(119).
isascii(119).
isgraph(119).
islower(119).
isprint(119).
isalnum(120).
isalpha(120).
isascii(120).
isgraph(120).
islower(120).
isprint(120).
isalnum(121).
isalpha(121).
isascii(121).
isgraph(121).
islower(121).
isprint(121).
isalnum(122).
isalpha(122).
isascii(122).
isgraph(122).
islower(122).
isprint(122).
isascii(123).
isgraph(123).
isprint(123).
ispunct(123).
isascii(124).
isgraph(124).
isprint(124).
ispunct(124).
isascii(125).
isgraph(125).
isprint(125).
ispunct(125).
isascii(126).
isgraph(126).
isprint(126).
ispunct(126).
isascii(127).
iscntrl(127).