947 search results - page 23 / 190 » Declarative Programming in Prolog |
151
click to vote
AI
1998
Springer
15 years 5 months ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
158
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
141
click to vote
ICLP
1987
Springer
15 years 9 months ago
1987
Springer
The Near-Horn Prolog procedures have been proposed as e ective procedures in the area of disjunctive logic programming, an extension of logic programming to the ( rstorder) non-Ho...
156
click to vote
ICLP
2007
Springer
15 years 12 months ago
2007
Springer
This article describes the experiences developing a Semantic Web application entirely in Prolog. The application, a demonstrator that provides access to multiple art collections an...
155
click to vote
ETFA
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...