On Thu, Dec 18, 2008 at 3:57 PM, philt <phil-goo...@teuwen.org> wrote: > > 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...
Thanks for pointing this out. In case people want to try it, notice that it is nearly trivial to install into any copy of Sage. Just do: sage: !easy_install-2.5 pyke Searching for pyke ... Downloading ... Finished processing dependencies for pyke sage: and in a few seconds you have it installed. Then, restart Sage and teragon-2:~ wstein$ sage ---------------------------------------------------------------------- | Sage Version 3.2.1, Release Date: 2008-12-01 | | Type notebook() for the GUI, and license() for information. | ---------------------------------------------------------------------- sage: import pyke sage: --- I don't know if there is much if anything in the way of real integration that needs to be done. It's just there and ready for people to use if they want. Maybe we could add a %pyke mode to the notebook or something... -- William > 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 > > > -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
