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 [...]
Filed under: Formal Logic, Logic, Logic Programming, LPA Win-Prolog, Multiple Form Logic Theory And Research, programming, Prolog, Prolog compilers, Theorem Proving Software | Tagged: AI, Boolean Algebra, Logic, Multiple Form Logic Theory And Research, theorem proving | 22 Comments »
