Το λογισμικό Γραφικής Απεικόνισης και Aυτόματης Aπόδειξης Λογικών Θεωρημάτων «DreamProver 1»
Το πρόγραμμα «DreamProver 1» προσφέρει εντυπωσιακές γραφικές απεικονίσεις Λογικών δομών και θεωρημάτων (τα οποία αποδεικνύει αυτομάτως) με απόλυτη ελευθερία του χρήστη να ορίσει τα δικά του σχήματα, χρώματα και Λογικές Δομές. Μία πρώτη του παρουσίαση έγινε (στα αγγλικά) στο blog «PrologSource», εδώ (κλικ στην εικόνα):