---
key: pl/slog
kind: plang
name: "Slog"
url: https://plangs.page/slog
---

# Slog

> A programming language for parallel logic programming with first-class facts handling.

A programming language enabling parallel logic programming with a focus on handling first-class facts and data efficiently.

## Facts

- Appeared: 2022
- GitHub: https://github.com/harp-lab/slog-lang1

## Relationships

### Paradigms

- [Declarative](https://plangs.page/paradigm/declarative)
- [Logic](https://plangs.page/paradigm/logic)
- [Parallel](https://plangs.page/paradigm/parallel)

### Platforms

- [Linux](https://plangs.page/platform/linux)
- [Windows](https://plangs.page/platform/windows)

### Type Systems

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

### Influenced By

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

### Written With

- [C](https://plangs.page/c)
- [Python](https://plangs.page/python)

### Licenses

- [MIT](https://plangs.page/license/mit)

### Tags

- [Automation](https://plangs.page/tag/automation)
- [Control](https://plangs.page/tag/control)
- [Server](https://plangs.page/tag/server)