Hello, I stumbled upon this project: PyKE http://pyke.sourceforge.net/index.html
"Pyke introduces a form of Logic Programming (inspired by Prolog) to the Python community by providing a knowledge-based inference engine (expert system) written in 100% Python. Unlike Prolog, Pyke integrates with Python allowing you to invoke Pyke from Python and intermingle Python statements and expressions within your expert system rules." Maybe sth interesting to integrate to Sage in a (far?) future... This echoes also a question on the sage-support list: http://groups.google.com/group/sage-support/browse_thread/thread/a98ee44d2f3d3be1/88a6fbf4d7543aba?lnk=gst Phil Copy of the thread: by Justin C. Walker On Nov 8, 2008, at 22:07 , cesarnda wrote: > 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. 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 --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
