evolp/r
Logic Program Updates System
EVOLP/R is a logic program updates system, implemented in XSB Prolog.
Reference:
A. Saptawijaya, L. M. Pereira, Incremental Tabling for Query-Driven Propagation of Logic Program Updates, in: K. McMillan, A. Middeldorp, A. Voronkov (eds.), Procs. Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR-19), Springer LNCS ARCoSS series, December 15-19, Stellenbosch, South Africa, 2013.
Slides: http://goo.gl/w02Txv
Audio Talk: http://goo.gl/oRjCfQ