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

Project Activity

See All Activity >

Follow evolp/r

evolp/r Web Site

Other Useful Business Software
Diagnose and Resolve IT Issues in Real Time Icon
Diagnose and Resolve IT Issues in Real Time

Engage your employees and agents more efficiently with ScreenMeet as a seamless extension of your existing IT Service Delivery Platform.

ScreenMeet’s unique combination of video calling, screen share, and remote desktop functionality lets you quickly diagnose hardware and software issues with no frustration.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of evolp/r!

Additional Project Details

Programming Language

Prolog

Related Categories

Prolog Artificial Intelligence Software

Registered

2013-10-28