Re: Small Prolog Compiler/Abstract Machine for Embedded Microcontrollers

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.

- 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