Re: Small Prolog Compiler/Abstract Machine for Embedded Microcontrollers
"Richard A. O'Keefe" <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
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.