947 search results - page 47 / 190 » Declarative Programming in Prolog |
107
Voted
ATAL
1997
Springer
15 years 1 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
DELFI
2003
14 years 11 months ago
2003
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...
ESOP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...
WOA
2004
14 years 11 months ago
2004
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
CAISE
2009
Springer
15 years 4 months ago
2009
Springer
Advantages and shortcomings of different process modeling languages are heavily debated, both in academia and industry, but little evidence is presented to support judgements. Wit...