|
|
|
|
|
|
Date Reviewed |
|
|
1 - 6 of 6
reviews
|
|
|
|
|
|
|
|
Transforming Boolean equalities into constraints Antoy S., Hanus M. Formal Aspects of Computing 29(3): 475-494, 2017. Type: Article
In declarative programming languages, a variable is a symbol representing a value determined by computational rules rather than a space in memory. The two main forms of declarative languages are functional and logic. In functional lang...
|
Sep 13 2017 |
|
|
|
|
|
|
Reasoning in non-probabilistic uncertainty: logic programming and neural-symbolic computing as examples Besold T., Garcez A., Stenning K., van der Torre L., van Lambalgen M. Minds and Machines 27(1): 37-77, 2017. Type: Article
Modeling human reasoning means dealing with uncertainty. The approach of conventional logic in which rules are absolute cannot be applied. Instead there is uncertainty: we need to use rules but accept that there may be cases where ther...
|
Jun 28 2017 |
|
|
|
|
|
|
Reactive messaging patterns with the actor model: applications and integration in Scala and Akka Vernon V., Addison-Wesley Professional, New York, NY, 2015. 480 pp. Type: Book (978-0-133846-83-6)
In the 1980s, when my academic career started as a researcher into functional and actor programming languages, we were confident that by the turn of the millennium these would be the languages in standard use in industry. It was disapp...
|
Nov 21 2016 |
|
|
|
|
|
|
The YAP Prolog system Costa V., Rocha R., Damas L. Theory and Practice of Logic Programming 12(1-2): 5-34, 2012. Type: Article
Prolog was developed in the 1970s by imposing a simple control structure on the general idea of program execution as logical deduction. There are many varieties of Prolog in existence, but all are “Prolog” by virtue...
|
May 21 2012 |
|
|
|
|
|
|
Steps in Scala: an introduction to object-functional programming Loverdos C., Syropoulos A., Cambridge University Press, New York, NY, 2010. 504 pp. Type: Book (978-0-521747-58-5)
In the early 1980s, many predicted that the next generation of programming languages would be declarative: either functional or logic. With Lisp, functional programming has a history stretching to the earliest days of programming. Logi...
|
Nov 4 2011 |
|
|
|
|
|
|
Design of logic-based intelligent systems Truemper K., Wiley-Interscience, New York, NY, 2004. 352 pp. Type: Book (9780471484035), Reviews: (1 of 2)
The title of this book, and some of its introductory material, is misleading; it suggests a general textbook on logic-based artificial intelligence. Many such books have appeared over the years, and many are still the mainstay of unive...
|
Aug 2 2004 |
|
|
|
|
|
|
|
|
|
|
|