Command-line tool

picat

brew/picat

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Simple, and yet powerful, logic-based multi-paradigm programming language

Website

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install picat

Linux

brew install picat

Related command-line tools

• acl2
  Logic and programming language in which you can model computer systems
• flix
  Statically typed functional, imperative, and logic programming language
• logtalk
  Declarative object-oriented logic programming language programming 编程 language 语言 logic prolog 逻辑
• lua
  Powerful, lightweight programming language programming 编程 programming-language language 编程语言 语言 script 脚本
• vedic
  Simple Sanskrit programming language
• mercury
  Logic/functional programming language
• oak
  Expressive, simple, dynamic programming language
• ECLiPSe Constraint Logic Programming System Version 7.0
  ECLiPSe Constraint Logic Programming System Version 7.0 (Windows package; no description in the winget index)…

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents