176 search results - page 1 / 36 » Scoping Constructs in Logic Programming: Implementation Prob... |
CORR
1998
Springer
13 years 10 months ago
1998
Springer
GCSE
1999
Springer
14 years 3 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...
ICLP
1990
Springer
14 years 2 months ago
1990
Springer
Definite Clause Grammars (DCGs) have proved valuable to computational linguists since they can be used to specify phrase structured grammars. It is well known how to encode DCGs i...
KBSE
2005
IEEE
14 years 4 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
ICLP
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...