Research in Data mining, Inductive Logic Programming, Learning In Agents.

Includes a selection of portraits of Ada, Countess of Lovelace.

Do-While Jones' "Ada in Action" book in several formats.

In case you are wondering why people are interested to use Ada as a teaching language, even as the language of choice for a first programming course at universities.

Book by Do-While Jones.

An Annotated Sampling of Textbooks.

High-level programming language to write constraint systems; makes it easy to define constraint reasoning: simplification and propagation, and incremental solving (satisfaction) of constraints. Run and test CHR online; do a demo, try it now.

Fortran 95 code for automatic integration of functions over one or more-dimensional regions.

The Association for Logic Programming promotes all activities concerning the theory and application of logic programming in computer science, related disciplines and industry. The archive of the ALP Newsletter provides content and links regarding the ...

Test bed system for physically based photo-realistic image synthesis, mostly radiosity based. Unix based.