Games and probes for Amstrad CPC 464 (develop for subject Automatic Reasoning)