> I'm new to this community but very interested in Ciao. I was
> wondering if there has been any existing work on using Prolog as a
> distributed database system like Riak or memcached but with support
> for powerful logic-based queries.
I am personally not aware of work that aims exactly at that (the
distributed hash table library in Ciao is a related example, though,
but perhaps not with the power you have in mind), but indeed with the
bits and pieces available, which you mention below it would not be
hard at all to do, and quite interesting!
> I see pretty good documentation on persistent predicate databases
> (backed by either files or SQL databases). Active modules look like
> they could be used to facilitate communication between nodes in a
> distributed cluster.
There are also concurrent and distributed execution primitives which
can be used.
Cheers --MH
--
----------------------- The Ciao System Development Team --------------------
The CLIP Group | Technical University of Madrid
ciao(a)clip.dia.fi.upm.es | IMDEA Software Institute
http://www.ciaohome.org / http://www.cliplab.org
-----------------------------------------------------------------------------
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
[Please post - apologies for multiple copies.]
Call for Tool Papers, Case Studies
--------------------------
W I N G 2010 - DEADLINE REMINDER
3nd International Workshop on INvariant Generation
--------------------------
July 21, 2010
University of Edinburgh, UK
Satellite Workshop of FLoC 2010
http://research.microsoft.com/en-us/events/wing2010/
Important Dates
---------------
April 23, 2010: Abstract submission deadline
April 27, 2010: Notification of acceptance
July 21, 2010: WING 2010 in Edinburgh, UK
Submission
----------
Submissions need not be original.
Extended versions of submissions may be submitted
concurrently with or after WING 2010 to another conference or a journal.
Submission is via EasyChair:
https://www.easychair.org/?conf=wing2010
by selecting the "Tools and Case studies" submission category.
Please submit a ONE-PAGE abstract in PDF,
conforming to the format produced by LaTeX using the
easychair.cls class file of EasyChair.
The class style may be downloaded at:
http://www.easychair.org/easychair.zip
Keynote Speakers
----------------
Sumit Gulwani (Microsoft Research, US)
Helmut Seidl (Technical University of Munich, Germany)
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
Hello Ciao mailing list,
I'm new to this community but very interested in Ciao. I was wondering
if there has been any existing work on using Prolog as a distributed
database system like Riak or memcached but with support for powerful
logic-based queries.
I see pretty good documentation on persistent predicate databases
(backed by either files or SQL databases). Active modules look like they
could be used to facilitate communication between nodes in a distributed
cluster.
Does anyone know of any work in this area?
Thanks for your time,
Eli
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
FLoC 2010: Student Travel Grants
The 2010 FEDERATED LOGIC CONFERENCE (FLoC'10) will be held in Edinburgh,
Scotland, U.K., on July 9-21, 2010. See http://www.floc-conference.org/.
FLoC'10 promises to be the premier scientific meeting in computational
logic in 2010. The following conferences will participate in FLoC:
- CAV 2010: Int'l Conference on Computer-Aided Verification
- CSF 2010: IEEE Computer Security Foundations Symposium
- ICLP 2010: Int'l Conference on Logic Programming
- IJCAR 2010: Int'l Joint Conference on Automated Reasoning
- ITP 2010: Int'l Conference on Interactive Theorem Proving
- LICS 2010: IEEE Symposium on Logic in Computer Science
- RTA 2010: Int'l Conference on Rewriting Techniques and Applications
- SAT 2010: Int'l Conference on Theory and Applications of
Satisfiability Testing
The eight major conferences will be accompanied by more than fifty
workshops and other affiliated events.
FLoC has received funds to provide travel grants of up to $750 for
student participants of FLoC'10. Funds can be requested to cover
airfare and lodging. We expect to award about 100 grants.
Application deadline is May 3, 2010. Application form is available
at http://www.floc-conference.org/floc-student-grants.html/.
----------------------
You are subscribed to the FLoC 2010 mailing list.
To unsubscribe please send an email to majordomo(a)informatik.uni-frankfurt.de
with the keywords unsubscribe floc2010 in the message body.
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------