---
key: pl/shen
kind: plang
name: "Shen"
url: https://plangs.page/shen
---

# Shen

> Multi-paradigm language blending functional and logic programming for symbolic computation.

High-level, multi-paradigm language that combines elements of Lisp-like functional programming with pattern-matching and logic programming, targeted primarily for functional programming and symbolic computation.

## Facts

- Appeared: 2011
- Homepage: https://shenlanguage.org
- GitHub: https://github.com/Shen-Language/shen-sources
- Languish ranking: #419

## Relationships

### Paradigms

- [Functional](https://plangs.page/paradigm/functional)
- [General-Purpose](https://plangs.page/paradigm/general-purpose)
- [Logic](https://plangs.page/paradigm/logic)
- [Multi](https://plangs.page/paradigm/multi)
- [Pattern-Matching](https://plangs.page/paradigm/pattern-matching)
- [Symbolic](https://plangs.page/paradigm/symbolic)

### Platforms

- [Apple](https://plangs.page/platform/apple)
- [Cross-Platform](https://plangs.page/platform/cross)
- [Java](https://plangs.page/platform/java)
- [Linux](https://plangs.page/platform/linux)
- [Windows](https://plangs.page/platform/windows)
- [WWW](https://plangs.page/platform/web)

### Type Systems

- [Manifest](https://plangs.page/type-system/manifest)
- [Polymorphic](https://plangs.page/type-system/polymorphic)
- [Static](https://plangs.page/type-system/static)
- [Strong](https://plangs.page/type-system/strong)

### Influenced By

- [Prolog](https://plangs.page/prolog)
- [Scheme](https://plangs.page/scheme)

### Written With

- [Common Lisp](https://plangs.page/common-lisp)
- [Scheme](https://plangs.page/scheme)

### Licenses

- [BSD](https://plangs.page/license/bsd)

### Tags

- [Automation](https://plangs.page/tag/automation)
- [CAS](https://plangs.page/tag/cas)
- [Compiler](https://plangs.page/tag/compiler)
- [Interpreter](https://plangs.page/tag/interpreters)
- [Scripting](https://plangs.page/tag/scripting)