Comments for Association for Logic Programming

Comment on In memoriam: German Puebla by Alberto Pettorossi

Alberto Pettorossi — Sun, 12 Apr 2015 17:10:06 +0000

Dear German,

thanks for your friendship and kindness.
Thanks for your example in being dedicated to your work and family.

… thanks for telling me why often Spanish people tend to
pronounce an extra “e” when they have to say words starting with sp… or st…
Indeed, they tend to say “Espain” instead of Spain” and
“finite estate machine ” instead of “finite state machine”.

Ciao,
Alberto (Pettorossi)

P.S.The Lord of Light and Life and the Virgin Mary of Fatima had welcome you.
Peace to all!

Comment on In memoriam: German Puebla by Pedro Cabalar

Pedro Cabalar — Fri, 10 Apr 2015 21:06:42 +0000

I was Germán’s classmate at the Computer Science School in the Politechnic University of Madrid. Another friend and I were for him the “gallegos”. In 1992 our class group made a fantastic travel for visiting CeBIT fair at Hannover. Germán became activelly involved in the organization and the travel eventually became a complete tour including visits to Amsterdam, Bruges, and Paris. Germán and other “colchoneros”, supporters of Atlético de Madrid, even took the opportunity to go to a football match of their team against Bruges KV.

That travel was for me a unique experience. It was the first time I visited foreign countries (apart from our “brother” country, Portugal). I remember that Germán acted as a real guide and it was surprising how, with the same age than all of us, he really looked like so experienced, self confident and at a same time, optimistic and positive. He really opened my mind and became an inspiration.

After finishig our Computer Science career, I returned to Coruña. After some time, both of us eventually became interested in research in Logic Programming, but I never had the opportunity to meet him in any event after that. It is a real loss of an unforgettable person.

Comment on ICLP 2014 Report by Cameron Hughes

Cameron Hughes — Wed, 01 Oct 2014 13:51:35 +0000

Comment and Question.

Comment As a long time member, Please keep up the good work, excellent news letters.

Is it possible to stream the keynote for ICLP for those who cannot physically leave their countries?

Comment on SAT solver of Howe & King as a logic program by W. Drabent

W. Drabent — Thu, 22 Nov 2012 19:24:40 +0000

ERRATA for "SAT solver of Howe & King as a logic program", by W. Drabent, Logic Programming Newsletter, 24(2), June 2011. (A corrected version, entitled "Logic + control: An example", appeared in ICLP'12 proceedings, Leibniz International Proceedings in Informatics (LIPIcs), 17:301-311. An extended report appeared in CoRR.) There is an error in the specification. The definition of L1 (page 2) should be modified. For the purpose of the simple program of Section 2 it should be:

Let L_1 be the set of ground terms of the form [t1-u1,...,tn-un|s] (n>0), where ti=ui for some i.

For the purpose of the main program, Section 4, it should be

Let L_1 be the set of ground terms of the form [t-t], or [t1-u1,...,tn-un|s] (n>1), where ti=ui for some i.

Also, some atoms should be excluded from the specification of update_watch/5 (p.9). The specified atoms should be

update_watch( v1,p1,v2,p2,s ) where v1=p1, or [p2-v2|s] is in L1

(The error was discovered by checking some of the simple proof details left to the reader.) 2012-03-23

Comment on In Memoriam: William H. Winsborough by Saumya Debray

Saumya Debray — Mon, 03 Oct 2011 15:34:33 +0000

I’m shocked and saddened to hear of Will’s passing. I greatly enjoyed the conversations we had, both technical and non-technical, and learned a lot from him. He will be missed!

Comment on ON WRITING AN ESSAY IN HONOR OF MICHAEL GELFOND’s 65TH BIRTHDAY by Michael Gelfond

Michael Gelfond — Thu, 14 Jul 2011 15:19:57 +0000

Dear Jack,
thank you very much for your kind words and wishes.
It is because of people like you that I was able to come to the USA
and to enjoy living and working in this great country.

I am not sure I can make it to 120 but I’ll do my best to follow
your example and remain active as long as I can.

Very very best,
Michael

Comment on MG-65: Symposium on Constructive Mathematics in Computer Science by Michael Gelfond

Michael Gelfond — Thu, 14 Jul 2011 15:08:40 +0000

I am sorry I just noticed this column. But late is better than never.
Thank you very much for your good wishes and kind words.
They are really priceless.

Very best regards and thanks.
Michael

Comment on Editorial, March 2011 by Chiaki Sakama

Chiaki Sakama — Thu, 07 Apr 2011 00:01:02 +0000

Thank you for kind messages to all of us in Japan. In fact, we got many warm-hearted emails from friends over the world. The situation is still bad at the north-east coast of Japan, but I have heard no bad news on my friends and research colleagues. Although it would take more time to resolve the nuclear issue, I believe Japanese people will overcome the difficulties and rebuild the country. We appreciate all the help and encouragements from everyone in the world.

Comment on A Pearl on SAT Solving in Prolog (extended abstract) by Neng-Fa Zhou

Neng-Fa Zhou — Wed, 06 Apr 2011 14:08:48 +0000

The program works with B-Prolog if watch/4 is defined as follows with action rules:

watch(Var1, Pol1, Var2, Pol2, Pairs),var(Var1),var(Var2), {ins(Var1),ins(Var2)} => true.
watch(Var1, Pol1, Var2, Pol2, Pairs),var(Var1) => update_watch(Var2, Pol2, Var1, Pol1, Pairs).
watch(Var1, Pol1, Var2, Pol2, Pairs) => update_watch(Var1, Pol1, Var2, Pol2, Pairs).

–NFZ

Comment on MG-65: Symposium on Constructive Mathematics in Computer Science by Agostino Dovier

Agostino Dovier — Wed, 27 Oct 2010 10:14:24 +0000

You are not late. November 7th is the day.

Dear Michael, please accept my (early) happy birthday wishes and my (late) apologies for my absence. I hope we’ll meet again in Lexington for ICLP.

Cheers

Agostino