Q1. I wanted to install DLV on my computer, but the executable just runs and nothing shows up. What could be the problem?
- A1: DLV does not need any installation. You are probably (double) clicking on some icon, and nothing happens. Please note that DLV is a command-line application, and not a windowing system, whatever the Operating System. Therefore, you should open a shell if you are on a Linux or MacOs machine, or a so-called “command prompt” on a Windows machine (see e.g.http://windows.microsoft.com/en-US/windows7/Command-Prompt-frequently-asked-questions), and execute DLV from there, as descibed in the manual (see http://www.dlvsystem.com/DLV#Documentation ).