a rule engine and scripting environment written entirely in Sun's Java, you can build Java software that has the capacity to "reason" using knowledge you supply in the form of declarative rules. Jess is small, light, and one of the fastest rule engines av
This course provides an introduction to functional logic programming throught its basic ideas, foundations and implementation techniques. FLP combines the distinctive features of functional programming (algebraic data types, lazy evaluation, polymorphic typing, first-class functions, monadic I/O) and logic programming (logic variables, non-determinism, search) seamlessly through narrowing and residuation. The course will address three kinds of questions: Why are these features useful? What is their underlying theory? How can they be implemented? Lectures will be augmented with weekly programming assignments in Curry, a leading functional logic language. Exercises will serve both to illustrate the use of the language and to illuminate the underlying theory and implementation issues. Prior exposure to functional or logic programming will be useful, but is not required.
Escher Escher is a functional logic programming language designed with the aim of providing in a simple computation mechanism the best features of functional programming and logic programming. The theoretical foundations for Escher is provided in the book `Logic for Learning' by John Lloyd. Escher is implemented in Noweb-C++, with fairly extensive documentation. It is being actively supported.
Cambridge Journals Online (CJO) is the e-publishing service for over 230 journals published by Cambridge University Press and is entirely developed and hosted in-house. The platform's powerful capacity and reliable performance are maintained by a combination of our own expertise and a process of consultation with the library and research communities. With the help of these stakeholders, we maintain CJO as an industry-leading e-publishing service.
W. Pedrycz, and M. Reformat. Proceedings of the Genetic and Evolutionary
Computation Conference (GECCO-2001), page 1389--1396. San Francisco, California, USA, Morgan Kaufmann, (7-11 July 2001)
W. Lau, K. Lee, and K. Leung. GECCO 2006: Proceedings of the 8th annual conference
on Genetic and evolutionary computation, 1, page 839--846. Seattle, Washington, USA, ACM Press, (8-12 July 2006)