Maintaining Distributed Logic Programs Incrementally Vivek Nigam1 , Limin Jia2 , Boon Thau Loo3 , Andre Scedrov3 Abstract Distributed logic programming languages, which allow both facts and programs to be distributed amo

First Page		Document Content
Date: 2014-11-11 20:30:18 Datalog Logic programming Prolog Algorithm Formal methods Software engineering Computing Programming language theory		Maintaining Distributed Logic Programs Incrementally Vivek Nigam1 , Limin Jia2 , Boon Thau Loo3 , Andre Scedrov3 Abstract Distributed logic programming languages, which allow both facts and programs to be distributed amo Add to Reading List Source URL: www.andrew.cmu.edu Download Document from Source Website File Size: 256,98 KB Share Document on Facebook