Image via Wikipedia
Visual DreamProver 1.0 is a new theorem-proving program, developed in LPA Win-Prolog 4.6, with multi-coloured graphics displays of (potentially unlimited) Logic expressions, theorem proofs and deductions in Multiple Form Logic, in the primary algebra of “Laws of Form“, in Boolean Algebra and in a variety of other logic systems (to a large extent [...]
Filed under: Formal Logic, LPA Win-Prolog, Logic, Logic Programming, Multiple Form Logic Theory And Research, Prolog, Prolog compilers, Theorem Proving Software, programming | Tagged: AI, Boolean Algebra, Logic, Multiple Form Logic Theory And Research, theorem proving | 20 Comments »
