947 search results - page 129 / 190 » Declarative Programming in Prolog |
126
Voted
GCSE
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
137
Voted
ENTCS
2002
15 years 2 months ago
2002
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
119
Voted
DSL
2009
15 years 11 days ago
2009
Programmers often write custom parsers for the command line input of their programs. They do so, in part, because they believe that both their program's parameterization and t...
110
Voted
AGP
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
148
Voted
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...