home *** CD-ROM | disk | FTP | other *** search
Text File | 1995-11-20 | 866 b | 34 lines | [TEXT/ttxt] |
- // example script
-
- print "\n*** This script flaunts some of the display and computational capabilities\n of Prometheus. ***\n\n\n"
-
- print ("[[[[a b] [c d]] pi\\4352] [[f (g+k,h)] 7]]" nl)
- print [[[[a b] [c d]] pi\4352] [[f (g+k,h)] 7]]
- pause
- print ("inv [a_q^b c\\d e+f]" nl)
- print inv [a_q^b c\d e+f]
- pause
- print ("(a,b)^c" nl)
- print ((a,b)^c)
- pause
- print ("(a and b) or (a and ~b)" nl)
- print ((a and b) or (a and ~b))
- pause
- print ("3^5000" nl)
- print (3^5000)
- pause
- print ("1000!" nl)
- print 1000!
- pause
- print ("fib 6000" nl)
- print fib 6000
- pause
- print ("((a imp b) and (b imp c)) imp (a imp c)" nl)
- print (((a imp b) and (b imp c)) imp (a imp c))
- pause
- print ("adj trans [[a b c] [d e f] [h j k]]" nl)
- print adj trans [[a b c] [d e f] [h j k]]
- pause
- print ("inv [[a b c d] [e f g h] [j k l p] [q w z x]]" nl)
- print inv [[a b c d] [e f g h] [j k l p] [q w z x]]
-