like prolog

[cesarnda]

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.

[Justin C. Walker]

No. Sage's base language is derived from Python, which is procedural,
not functional. I don't know of any python packages that support
functional programming, and if there are such, I don't know what the
affect would be of including them in Sage (e.g., could one "integrate"
the functional package with the rest of Sage).

HTH

Justin

--
Justin C. Walker, Curmudgeon at Large
Institute for the Absorption of Federal Funds
-----------
I'm beginning to like the cut of his jibberish.
-----------