• ISETL
• LogicSim
• UPMAIL Prolog
• xLogicCircuits
• xTuringMachine