6740 search results - page 64 / 1348 » Using Classification as a Programming Language |
ICLP
1998
Springer
15 years 2 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
LPNMR
1995
Springer
15 years 1 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
108
click to vote
CL
1999
Springer
14 years 9 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
PEPM
2007
ACM
15 years 3 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
101
click to vote
TIC
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...