850 search results - page 87 / 170 » A Logic Programming Language Based on Binding Algebras |
PARLE
1992
15 years 5 months ago
1992
We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...
228
click to vote
LPAR
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
175
click to vote
ICAI
2010
14 years 11 months ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
155
click to vote
RULEML
2010
Springer
14 years 11 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
109
click to vote
MOZ
2004
Springer
15 years 6 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...