Re: Small Prolog Compiler/Abstract Machine for Embedded Microcontrollers
Jan Wielemaker <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
On 03/03/2014 03:47 PM, Daniel Elliott wrote: > I couldn't agree more and we have begun using Prolog for just this > purpose. Currently, however, we are running it server side and > communicating with embedded devices but we plan to move a step closer > soon and put much of this logic on some Raspberry Pi devices. SWI-Prolog runs perfectly on the Pi, including all packages :-) I've compiled it on on my Pi. Works out of the box, but you need some patience. Developing Prolog programs on the Pi (edit, debug) is quite ok. Cheers --- Jan > > - dan > > On Thu, Feb 27, 2014 at 4:01 PM, Richard A. O'Keefe <[email protected]> wrote: >> >> On 28/02/2014, at 6:37 AM, Paulo Moura wrote: >> >>> >>> On 27/02/2014, at 17:13, Anne Ogborn <[email protected]> wrote: >>> >>>> you might look at jekejeke >>> >>> If a Java implementation of Prolog is feasible, in addition to JekeJeke you also have e.g. Lean Prolog, whose current version is available as ~400 KB .jar file >> >> WProlog and XProlog are even smaller. (But don't tell Ulrich >> about them. They are not subsets of ISO Prolog due to totally >> pointless syntax changes.) >> >> >> "Prolog" and "useful logic programming language" >> are related but not identical. >> >> If you really want to keep the runtime small, >> you might want to consider a design that does >> cross-compilation so that you can leave >> read/1, write/1, and code generation out of the >> run-time. (You could certainly have a useful >> logic programming language without assert and >> retract.) >> >> PDP-11 Prolog ran in less than 64 kB. >> It was basically an interpreter of abstract syntax >> trees, and *did* include read/1 and write/1. >> >> micro-Prolog ran in 48 kB; I believe it could do 32 kB. >> >> Much depends on how big the embedded microcontroller is. >> >> >> _______________________________________________ >> SWI-Prolog mailing list >> [email protected] >> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog > _______________________________________________ > SWI-Prolog mailing list > [email protected] > https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog >