947 search results - page 72 / 190 » Declarative Programming in Prolog |
SEKE
2007
Springer
15 years 3 months ago
2007
Springer
With the growing interest in rule languages in the Semantic Web and the Business Rule community it is time to look again at the issue of debugging rule bases. New challenges have ...
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents our ongoing research towards a safe system evolution. Our approach is based on data-centric, objectoriented systems. Within those systems we utilise (i) multi-...
ECOOP
1998
Springer
15 years 1 months ago
1998
Springer
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
106
click to vote
DALT
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...