Modules and Logic Programming
Mogbil, Virgile ; Fouqueré, Christophe
HAL, hal-00003217 / Harvested from HAL
Text on HAL
We study conditions for a concurrent construction of proof-nets in the framework developed by Andreoli in recent papers. We define specific correctness criteria for that purpose. We first study closed modules (i.e. validity of the execution of a logic program), then extend the criterion to open modules (i.e. validity during the execution) distinguishing criteria for acyclicity and connectability in order to allow incremental verification.
Publié le : 2004-07-05
Classification:  proof search,  parallel execution,  proof-nets,  focalization,  logic programming,  linear logic,  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO],  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC] 
@article{hal-00003217,
     author = {Mogbil, Virgile and Fouquer\'e, Christophe},
     title = {Modules and Logic Programming},
     journal = {HAL},
     volume = {2004},
     number = {0},
     year = {2004},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00003217}
}

Mogbil, Virgile; Fouqueré, Christophe. Modules and Logic Programming. HAL, Tome 2004 (2004) no. 0, . http://gdmltest.u-ga.fr/item/hal-00003217/