Java Theorem Prover

JTP: An Object Oriented Modular Reasoning System

JTP is a forward-chaining inference engine developed for DAML+OIL at Stanford.

Popular posts from this blog

Mouse Lock for HTML5 FPS games

Image
Sponsor: Register today for New Game, the conference for HTML5 game developers . Learn from Mozilla, Opera, Google, Spil, Bocoup, Mandreel, Subsonic, Gamesalad, EA, Zynga, and others at this intimate and technically rich conference. Join us for two days of content from developers building HTML5 games today. Nov 1-2, 2011 in San Francisco. Register now ! Good news, everyone!  Work is progressing on the Mouse Lock API, a new JavaScript API which will allow for playable "First Person Shooter" (aka FPS) games, and other  use cases, for HTML5 games. Vince Scheib , Chrome engineer and veteran of the games development industry, has kicked off work back in June 2011 with an email to the public-webapps list .  A recent update from Vince , sent in Sept 22, 2011, hints at a work in progress implementation for Chrome. The draft specification for Mouse Lock API is available for review.  It is proposed that the Web Events Working Group adopt the Mouse Lock spec. Tra...
Read more

The 29 Healthiest Foods on the Planet

The 29 Healthiest Foods on the Planet > The following is a "healthy food hot list" consisting of the 29 food that will give you the biggest nutritional bang for you caloric buck, as well as decrease your risk for deadly illnesses like cancer, diabetes and heart disease.
Read more

Add SSL to your personal website

Image
Give yourself a gift this holiday season, and add SSL to your personal site. The web is going secure, and it's time to be part of the solution. This article details how I turned on SSL + custom domains, plus automated deploys, for my personal site for the cost of a domain (which I already had) and $5/year. Read on! Turns out, it's easier (and more affordable!) than you think to add SSL to your website. But first, why bother? There are lots of reasons why you should care about adding SSL: Search engines are preferring SSL New web APIs (like service worker) mandate SSL Users trust SSL Bonus: SSL can help enable HTTP/2 on some servers Your setup will vary, so look for the easiest/shortest path to SSL for your particular site. Everyone has factors they want to optimize for. Here's what I was trying to optimize, as I looked for a solution. I needed a solution that was: Affordable The solution should be very, very affordable. Affordable, in this context, m...
Read more