Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.

OS based on ML language. Goals: advance art of programming language design and implementation, while applying principles of programming languages to advance art of systems building. Project work: theoretical studies of languages and their traits, deve...

Information about Prolog Implementations.

The complete FAQs from news:comp.lang.prolog

CMU's AI repository offers a collection of Prolog implementations.

The Palm Pilot Robot Kit is a design for an easy-to-build, fully autonomous robot controlled by a Palm handheld computer.

The official site for the 5th RoboCup world championships, held in Seattle, Washington USA. Site contains information for participants and the media. Final results are also listed.

Robot education courses for all ages run by Carnegie Mellon University.

Professor of Computer Science and Robotics at Carnegie Mellon University. Conducts research on the mechanics of robots manipulation.

Assistant Professor of Robotics, The Robotics Institute, CMU. Interests include: formal representations of perception and action; planning with incomplete information; interleaving planning and execution; mobile robot architectures; real-time visual o...