[ANN] Playing with Prolog - Sending a message to an Arduino with Prolog

[Anne Ogborn]

This week Sam demonstrates sending a message to an arduino. A companion to our previous video

https://www.youtube.com/watch?v=1y4inrTRCts&t=31s

Credit is all Sam's, who did basically the whole thing.

[Sam Neaves]

Use this link to start from the beginning: https://www.youtube.com/watch?v=1y4inrTRCts 

--
You received this message because you are subscribed to the Google Groups "SWI-Prolog" group.
To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+unsubscribe@googlegroups.com.
Visit this group at https://groups.google.com/group/swi-prolog.
For more options, visit https://groups.google.com/d/optout.

[Jan Burse]

It happens, the matrix is coming!

Meet FarmBot
https://www.youtube.com/watch?v=uNkADHZStDE

Will Neo use Prolog?

Am Sonntag, 11. Juni 2017 12:08:41 UTC+2 schrieb sam.neaves:

Use this link to start from the beginning: https://www.youtube.com/watch?v=1y4inrTRCts 

On Sat, Jun 10, 2017 at 11:30 PM, 'Anne Ogborn' via SWI-Prolog <swi-p...@googlegroups.com> wrote:

This week Sam demonstrates sending a message to an arduino. A companion to our previous video

https://www.youtube.com/watch?v=1y4inrTRCts&t=31s

Credit  is all Sam's, who did basically the whole thing.

--
You received this message because you are subscribed to the Google Groups "SWI-Prolog" group.

To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+...@googlegroups.com.

[Sam Neaves]

That would be a fun project, I like the idea of a wiki garden using pengines... could a random internet crowd grow anything lol

To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+unsubscribe@googlegroups.com.

[Jan Burse]

And then there is this novelty:

BMW 7 Series Remote Control Parking
https://www.youtube.com/watch?v=IZ-O0e8DRr0

[Anne Ogborn]

Computers are getting smarter.

Logic programming is just going to become more and more important as we move from a world where programmers talk to computers like they're dumber than a dirt sandwich, because they are, to a world where they're more intelligent.

[Jan Burse]

Combine IoT with e-coins:
https://www.ibm.com/blogs/internet-of-things/watson-iot-blockchain/

[Jan Burse]

Hi,

I was posting the below IBM link, since Markus Triska made
an interesting post on comp.lang.prolog which didn't reach the
SWI-Prolog forum.

He posted about his new https://www.metalevel.at/bitcoinolog/ ,
if I understand correctly a Prolog library that can do some
of the e-coin steps.

I find this quite interesting, also historically,
since there is an old paper:

Kenneth M. Kahn, William A. Kornfeld:
Money as a Concurrent Logic Program.
NACLP 1989: 513-535

Can't find a link to the above, and dunno whether
we will see a renaissance of anything?

Bye

[Steve Prior]

Folks that are interested in this might also be interested in what I'm up to.  I'm attempting to breathe some life
into a MQTT connection pack for SWI Prolog - my fork is at https://github.com/sprior/swi-mqtt-pack

The goal is to allow Prolog to send and receive messages via the MQTT protocol which is popular for Internet of Things type devices.
Since there are Arduino libraries for MQTT available this means that if you have an Arduino with WIFI shield or an ESP8266, you can use the Arduino environment to create devices that publish or subscribe to messages that can interact with Prolog code as well as most other languages (Java, Python, Javascript).  My test environment is currently Prolog code that can subscribe to MQTT messages put out by an ESP8266 with a temperature sensor attached, but also react to messages published by a Raspberry Pi running NODE-RED on top of Node.js which makes it brainless to implement simple dashboards.

My ultimate goal is to use a Prolog program as the main "brain" program for a home automation system that uses MQTT for communication between sensors and services across a bunch of devices (Linux server, Raspberry Pi, ESP8266, IP camera).

[Sam Neaves]

That sounds really interesting Steve I will keep an eye on that :)
I think Prolog is a great glue language and surely it can be a good brain ! 

On Mon, Jun 19, 2017 at 6:39 PM, Steve Prior <spr...@geekster.com> wrote:

Folks that are interested in this might also be interested in what I'm up to.  I'm attempting to breath some life

--

You received this message because you are subscribed to the Google Groups "SWI-Prolog" group.

To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+unsubscribe@googlegroups.com.

[Sam Neaves]

Thanks for pointing this out Jan, I have been wanting to try and understand more about blockchain technology for a while.

One day I hope to try and implement a basic block chain- but I have not got time at the moment to really delve into it. 

--

You received this message because you are subscribed to the Google Groups "SWI-Prolog" group.

To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+unsubscribe@googlegroups.com.

[Fabrizio Riguzzi]

2017-06-17 18:38 GMT+02:00 Jan Burse <burs...@gmail.com>:

Hi,

I was posting the below IBM link, since Markus Triska made
an interesting post on comp.lang.prolog which didn't reach the
SWI-Prolog forum.

He posted about his new https://www.metalevel.at/bitcoinolog/ ,
if I understand correctly a Prolog library that can do some
of the e-coin steps.

I find this quite interesting, also historically,
since there is an old paper:

Kenneth M. Kahn, William A. Kornfeld:
Money as a Concurrent Logic Program.
NACLP 1989: 513-535

I have found this paper

https://drive.google.com/file/d/0B-DBVWxACbAmalY3UVZ2QV9tTjA/view?usp=sharing

 

Can't find a link to the above, and dunno whether
we will see a renaissance of anything?

Bye

Am Freitag, 16. Juni 2017 20:41:08 UTC+2 schrieb Jan Burse:

Combine IoT with e-coins:
https://www.ibm.com/blogs/internet-of-things/watson-iot-blockchain/

Am Mittwoch, 14. Juni 2017 18:30:31 UTC+2 schrieb Anne Ogborn:

Computers are getting smarter.

Logic programming is just going to become more and more important as we move from a world where programmers talk to computers like they're dumber than a dirt sandwich, because they are, to a world where they're more intelligent.

--

You received this message because you are subscribed to the Google Groups "SWI-Prolog" group.

To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+unsubscribe@googlegroups.com.

[Jan Burse]

I just see that Danny Bobrow (1935- 2017)
R.I.P. From the vicinity of Xerox came
not only the Apple MacIntosh.

Another earlier paper by Kahn and other is:
Language Design and Open Systems
Kenneth M. Kahn, Mark S. Miller

Which has some Prolog code in it and appeared in:

Ecology of Computation, Elsevier Science
Publishers, North Holland (1988)

The later contains some other pearls as well. And
someone should compile a book, the Ecology of
Computation, 30 years later, and compare it with now.

To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+...@googlegroups.com.

[Jan Burse]

For example whats the cloud(*)? KVM, some metering
and a Web GUI instead of a shell?

The only benefit of the cloud is that you don't have
to pay human SLA with your provider (its all automated

or delegated to yourself) and hence that you have
more freedom and **maybe** less cost.

(*)
http://www.cloudcomputingexpo.com/

[Jan Burse]

Using the same technology that makes Bitcoin possible,
neighbors are buying and selling renewable energy to each other.

http://www.politico.com/magazine/story/2017/06/15/how-a-street-in-brooklyn-is-changing-the-energy-grid-215268

Am Freitag, 7. Juli 2017 13:48:21 UTC+2 schrieb Fabrizio Riguzzi:

To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+...@googlegroups.com.