home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD1.mdf / prolog / library / prolo_c / exampl22.pro < prev    next >
Text File  |  1986-10-06  |  742b  |  25 lines
  1. /* Program 22 */
  2. /*
  3.   The goal to enter is on page 71 of the manual.
  4. */
  5.  
  6. domains
  7.     sentence   = sentence(nounphrase,verbphrase)
  8.     nounphrase = nounp(article,noun) ; name(name)
  9.     verbphrase = verb(verb) ; verbphrase(verb,nounphrase)
  10.     article,noun,name,verb = symbol
  11.  
  12. predicates
  13.     write_sentence(sentence)
  14.     write_nounphrase(nounphrase)
  15.     write_verbphrase(verbphrase)
  16.  
  17. clauses
  18.     write_sentence(sentence(S,V)) if
  19.         write_nounphrase(S) and write_verbphrase(V).
  20.     write_nounphrase(nounp(A,N)) if write(A,' ',N,' ').
  21.     write_nounphrase(name(N)) if write(N,' ').
  22.     write_verbphrase(verb(V)) if write(V,' ').
  23.     write_verbphrase(verbphrase(V,N)) if
  24.         write(V,' ') and write_nounphrase(N).
  25.