---
key: pl/xsb
kind: plang
name: "XSB"
url: https://plangs.page/xsb
---

# XSB

> Prolog dialect with tabled resolution for logic programming and deductive databases.

Logic Programming and Deductive Database system developed at Stony Brook University and other institutions. It is an implementation of a Prolog dialect that features tabled resolution and HiLog, making it suitable for knowledge base applications and deductive database engines.

## Facts

- Appeared: 1993
- Homepage: https://xsb.sourceforge.net/

## Relationships

### Paradigms

- [Declarative](https://plangs.page/paradigm/declarative)
- [Expert System](https://plangs.page/paradigm/expert-system)
- [Logic](https://plangs.page/paradigm/logic)

### Platforms

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

### Type Systems

- [Untyped](https://plangs.page/type-system/untyped)

### Dialect of

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

### Implements

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

### Influenced By

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

### Written With

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

### Licenses

- [LGPL](https://plangs.page/license/lgpl)

### Tags

- [DBMS](https://plangs.page/tag/dbms)
- [Interpreter](https://plangs.page/tag/interpreters)