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/Technion-Programming-Languages/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.