packages-swipy

(★ 52)

Python interface for SWI-Prolog

파일 탐색기

  • .gitignore
  • CMakeLists.txt
  • config.h.cmake
  • janus.plx
  • LICENSE
  • pyproject.toml
  • README.md
  • setup.py
  • test_janus.pl
  • test_xsb_janus.pl
  • VERSION

# CDN으로 사용하기

jsDelivr

jsDelivr는 공개 GitHub 리포지토리를 별도 설정 없이 CDN으로 즉시 서빙합니다. 버전과 파일을 고르면 웹페이지에 바로 붙일 수 있는 링크와 예시 코드가 만들어집니다.

명령어 용어집

이 문서에서 사용된 명령어를 모아봤습니다. 낯선 명령어가 있다면 펼쳐서 확인해보세요.

🔍

pip install

설명 보기 ▼

Install Python packages.

pip install {{package1 package2 ...}}

Install one or more packages:

pip install {{package1 package2 ...}} {{[-U|--upgrade]}}

Upgrade all specified packages to the latest version, installing any that are not already present:

pip install {{package}}=={{version}}

Install a specific version of a package:

🔍

pip

설명 보기 ▼

Python 패키지 관리자.
`install`와 같은 일부 하위 명령어는 별도의 사용 문서가 존재.
더 많은 정보: <https://pip.pypa.io/en/stable/cli/pip/>.

pip install {{package}}

패키지 설치 (더 많은 설치 예시는 `pip install`를 참고):

pip install --user {{package}}

시스템 전체 기본 위치 대신 사용자 디렉터리에 패키지 설치:

pip install {{[-U|--upgrade]}} {{package}}

패키지 업그레이드:

🔍

python

설명 보기 ▼

Python 언어 인터프리터.
더 많은 정보: <https://docs.python.org/using/cmdline.html>.

python

REPL(대화형 셸) 시작:

python {{path/to/file.py}}

특정 Python 파일 실행:

python -i {{path/to/file.py}}

특정 Python 파일 실행 후 REPL 시작:

🔍

swipl

설명 보기 ▼

SWI-Prolog - 포괄적인 무료 Prolog 환경.
더 많은 정보: <https://www.swi-prolog.org/pldoc/man?section=cmdline>.

swipl

대화형 세션 시작:

swipl --quiet -t "{{command}}"

출력을 표시하지 않고 명령 실행:

swipl {{path/to/file.pl}}

스크립트 실행:

🔍

apt install

설명 보기 ▼

Install packages for Debian-based distributions.

sudo apt install {{package}}

Install a package, or update it to the latest version:

sudo apt install {{[-V|--verbose-versions]}} {{package}}

Display verbose package version information during installation or update:

🔍

dnf install

설명 보기 ▼

Install packages on Red Hat-based distributions.

sudo dnf {{[in|install]}} {{package1 package2 ...}}

Install packages by name:

sudo dnf {{[in|install]}} {{path/to/file}}

Install a package from a local file:

sudo dnf {{[in|install]}} {{https://example.com/package.rpm}}

Install a package from the internet:

// repository documentation