17 search results - page 1 / 4 » Agent Programming in Ciao Prolog |
EPIA
2001
Springer
13 years 9 months ago
2001
Springer
PADL
2004
Springer
13 years 10 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
CORR
2011
Springer
13 years 8 days ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...