Search results for "ciao-prolog"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
104	Daniel Cabeza Gras, Manuel V. Hermenegildo	A New Module System for Prolog.	Computational Logic	2000	DBLP DOI BibTeX RDF	modular program processing, global analysis and transformation, ciao-prolog, prolog, modules, separate compilation
45	Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández	Implementing Constructive Intensional Negation.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
38	Rémy Haemmerlé, François Fages	Modules for Prolog Revisited.	ICLP	2006	DBLP DOI BibTeX RDF
38	Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro	Constructive Intensional Negation.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
37	Daniela Ferreiro, José F. Morales 0001, Salvador Abreu, Manuel V. Hermenegildo	Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials.	ICLP	2023	DBLP DOI BibTeX RDF
37	Guillermo García-Pradales, José F. Morales 0001, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro	An s(CASP) In-Browser Playground based on Ciao Prolog.	ICLP Workshops	2022	DBLP BibTeX RDF
37	Daniel Cabeza, Manuel V. Hermenegildo	Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library	CoRR	2003	DBLP BibTeX RDF
37	Daniel Cabeza Gras, Manuel V. Hermenegildo	Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library.	Theory Pract. Log. Program.	2001	DBLP DOI BibTeX RDF
37	Francisco Bueno	Agent Programming in Ciao Prolog.	EPIA	2001	DBLP DOI BibTeX RDF
37	Germán Puebla, Manuel V. Hermenegildo	Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs.	WOID@ICLP	1999	DBLP DOI BibTeX RDF
31	Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine	The Ecce and Logen partial evaluators and their web interfaces.	PEPM	2006	DBLP DOI BibTeX RDF	logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction
31	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.	PADL	2004	DBLP DOI BibTeX RDF