research
∙
08/30/2023
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials
Active Logic Documents (ALD) are web pages which incorporate embedded Pr...
share
research
∙
01/26/2022
Fifty Years of Prolog and Beyond
Both logic programming in general, and Prolog in particular, have a long...
research
∙
09/18/2019
Generating Local Search Neighborhood with Synthesized Logic Programs
Local Search meta-heuristics have been proven a viable approach to solve...
research
∙
09/11/2019
Pre-proceedings of the DECLARE 2019 Conference
This volume constitutes the pre-proceedings of the DECLARE 2019 conferen...
research
∙
12/11/2010