Retrocomputing

Scanlog is a logic programming language for CP/M and MS-DOS.