This repository includes a configuration to set up a Prolog development environment using DevContainers in Visual Studio Code (VSCode). This allows you to develop in a consistent environment without the hassle of manually setting up dependencies on your local machine.
- Visual Studio Code: Make sure you have the latest version of VSCode installed. You can download it from here.
- Docker: Ensure Docker is installed and running on your machine. You can find the installation guide here.
- Dev Containers Extension: Install the "Dev Containers" extension in VSCode. You can find it here.
-
Clone the Repository:
git clone https://github.com/Whitomtit/VSCode-Prolog.git cd VSCode-Prolog
-
Open the Repository in VSCode: Open VSCode and select
File > Open Folder...
, then choose the cloned repository folder. -
Reopen in Container:
- Once the repository is open in VSCode, you should see a prompt at the bottom right corner asking if you want to reopen the folder in a container. Click on
Reopen in Container
. - If you don't see the prompt, you can manually reopen in the container by pressing
F1
, then typing and selectingDev Containers: Reopen in Container
.
- Once the repository is open in VSCode, you should see a prompt at the bottom right corner asking if you want to reopen the folder in a container. Click on
This repository is configured to use SWI-Prolog. You can run Prolog files by pressing F1, the typing and selecting Prolog: load document
.
- Start the Container: Automatically handled when you open the folder in the container.
- Access the Terminal: You can open a terminal inside the container by pressing
Ctrl+`
(backtick) or selectingTerminal > New Terminal
.
- Container Fails to Start: Ensure Docker is running and you have the latest version of VSCode and the Dev Containers extension.