home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH24EX07.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  246 b   |  15 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. project "mycnvrt"
  6.  
  7. global domains
  8.    list = integer*
  9.  
  10. global predicates
  11.   inclist(list, list) - (i,o) language c
  12.  
  13. goal
  14.   inclist([1, 2, 3, 4, 5, 6, 7], L), write(L).
  15.