can I program stuff in Sage, like the stuff I can program in prolog? I have programmed several prolog programs and I wish I could code them in Sage, for example, a program that having an input:
P -> (Q -> P) its output is true. --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---