home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!spool.mu.edu!sdd.hp.com!sgiblab!nec-gw!nec-tyo!wnoc-tyo-news!icot32!ss151.icot.or.jp!ss151!chik
- From: chik@icot.or.jp (Takashi Chikayama)
- Newsgroups: comp.lang.prolog
- Subject: Why can't integers become principal functors?
- Message-ID: <CHIK.93Jan7114812@ss38.icot.or.jp>
- Date: 7 Jan 93 02:48:12 GMT
- Sender: news@ss151.icot.or.jp
- Reply-To: chikayama@icot.or.jp
- Distribution: comp
- Organization: Institute for New Generation Computer Technology, Tokyo, Japan.
- Lines: 6
-
- Can somebody explain why integers cannot be the principal functor of
- non-atomic functors? Are there any theoretical reasons? Any
- implementational difficulties? Or just for compatibility with
- previous implementations?
-
- Takashi Chikayama
-