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

Lists and arrays in Dart

Converting Array to List in Scala

Maps and hashes in Dart