evolp/r

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

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

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

Similar Business Software

Google Compute Engine

Compute Engine is Google's infrastructure as a service (IaaS) platform for organizations to create and run cloud-based virtual machines. Computing infrastructure in predefined or custom machine sizes to accelerate your cloud transformation. General purpose (E2, N1, N2, N2D) machines provide a...

See Software
ZeroPath

ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix...

See Software
Adaptive Security

Adaptive Security is OpenAI’s investment for AI cyber threats. Founded in 2024, Adaptive raised $50M+ from investors like OpenAI and a16z, as well as executives at Google Cloud, Fidelity, Shopify, and more. Adaptive protects customers from deepfakes, vishing, smishing, and AI email phishing...

See Software
Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
Coursebox AI

Transform your content into engaging eLearning experiences with Coursebox, the #1 AI-powered eLearning authoring tool. Our platform automates the course creation process, allowing you to design a structured course in seconds. Simply make edits, add any missing elements, and your course is ready...

See Software
Square 9

Paper-based work is a soul-crushing, profit-sapping drag on individual, team, and company productivity. Paper literally smothers innovation, creating a competitive disadvantage. The Square 9 AI-powered intelligent information processing platform takes the paper out of work and makes it easier...

See Software