Why is "=.." called "univ"? 
Author Message
 Why is "=.." called "univ"?

This question might have been discussed in this newsgroup.  The subject
line says it all.

Most books and Prolog manuals say "=.." is called "univ" for historical
reason.  According to the Quintus Prolog and LPA MacProlog manuals,
"=.." is named after a similar predicate, called "univ", in the original
implementation of the Marseilles Prolog back in 1972.  What I have in
mind is something similar to calling "=" equal, "<" less than, and etc,
a name that is meaningful with respect to the operation.  Does "univ"
mean anything in French or is it a short form of a something that describes
the "=.." predicate?

Thankx in advance.

The curious mind,
jim



Tue, 26 Apr 1994 10:12:59 GMT  
 Why is "=.." called "univ"?

Quote:

>Most books and Prolog manuals say "=.." is called "univ" for historical
>reason.  According to the Quintus Prolog and LPA MacProlog manuals,
>"=.." is named after a similar predicate, called "univ", in the original
>implementation of the Marseilles Prolog back in 1972.  What I have in
>mind is something similar to calling "=" equal, "<" less than, and etc,
>a name that is meaningful with respect to the operation.  Does "univ"
>mean anything in French or is it a short form of a something that describes
>the "=.." predicate?

I figured it was the universal structure-to-list converter...

--
==================================================================

Assistant to the Director, Artificial Intelligence Programs
The University of Georgia, Athens, Georgia 30602, U.S.A.



Tue, 26 Apr 1994 14:18:33 GMT  
 
 [ 2 post ] 

 Relevant Pages 

1. string.join(["Tk 4.2p2", "Python 1.4", "Win32", "free"], "for")

2. BEGIN{want[]={"s1o", "s2o", "s2q", "s3q"}

3. Parsing ""D""?

4. "Fifth", "Forth", zai nar?

5. Ruby "finalize", "__del__"

6. beginners "let"/"random" question

7. ANNOUNCE: new "plus"- and "dash"-patches available for Tcl7.5a2/Tk4.1a2

8. Looking for "stdin", "stdout"

9. Why is the language called "Smalltalk"?

10. Followup to "Fortran calling "c", and "c" calling Fortran

11. Hi, this code: text0 = "One $BLAH Three" text1 = "One @BLAH Three" text0.sub!("$BLAH", "Two") text1.sub!("@BLAH", "Two") print text0,"\n" print text1,"\n" produces thiHi, this code: text0 = "One $BLAH Three" text1 = "One @BLAH Three" text0.sub!("$BLAH", "T

12. Match "ab" in "abc", but not in "abd"

 

 
Powered by phpBB® Forum Software