{ description = "SWI-Prolog"; inputs = { nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable"; flake-utils.url = "github:numtide/flake-utils"; }; outputs = { self, nixpkgs, flake-utils }: flake-utils.lib.eachDefaultSystem (system: let pkgs = import nixpkgs { inherit system; config.allowUnfree = true; }; in { devShells.default = pkgs.mkShell { buildInputs = with pkgs; [ swi-prolog # Editor #(jetbrains.plugins.addPlugins jetbrains.idea-ultimate [ "github-copilot" ]) vscodium ]; }; }); }