Sciweavers

947 search results - page 19 / 190
» Declarative Programming in Prolog
Sort
View
CP
2005
Springer
14 years 11 months ago
A Linear-Logic Semantics for Constraint Handling Rules
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
Hariolf Betz, Thom W. Frühwirth
CIDR
2009
98views Algorithms» more  CIDR 2009»
14 years 10 months ago
From Declarative Languages to Declarative Processing in Computer Games
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
Ben Sowell, Alan J. Demers, Johannes Gehrke, Nitin...
CORR
2002
Springer
119views Education» more  CORR 2002»
14 years 9 months ago
Composing Programs in a Rewriting Logic for Declarative Programming
Juan M. Molina-Bravo, Ernesto Pimentel
LPE
1997
14 years 11 months ago
Visualizing Solutions with Viewers
Visualization can be a powerful aid for learning a programming language. It may be used to reinforce central language concepts. In the context of Prolog and CLP-languages, however...
Ulrich Neumerkel, Christoph Rettig, Christian Scha...