---
key: pl/ciao
kind: plang
name: "Ciao"
url: https://plangs.page/ciao
---

# Ciao

> Modern Prolog implementation focused on portability, extensibility, and modularity.

Modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular. It supports logic, constraint, functional, higher-order, and object-oriented programming styles.

## Facts

- Appeared: 1984
- Homepage: http://www.ciao-lang.org/

## Relationships

### Paradigms

- [Concurrent](https://plangs.page/paradigm/concurrent)
- [Constraint](https://plangs.page/paradigm/constraint)
- [Distributed](https://plangs.page/paradigm/distributed)
- [Functional](https://plangs.page/paradigm/functional)
- [Logic](https://plangs.page/paradigm/logic)
- [Modular](https://plangs.page/paradigm/modular)
- [Multi](https://plangs.page/paradigm/multi)
- [Object-Oriented](https://plangs.page/paradigm/oop)

### Platforms

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

### Type Systems

- [Dynamic](https://plangs.page/type-system/dynamic)
- [Inferred](https://plangs.page/type-system/inferred)
- [Static](https://plangs.page/type-system/static)

### Implements

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

### Influenced By

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

### Licenses

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

### Tags

- [3D Graphics](https://plangs.page/tag/3dg)
- [CLI](https://plangs.page/tag/cli)
- [Compiler](https://plangs.page/tag/compiler)
- [DBMS](https://plangs.page/tag/dbms)
- [Industrial Control](https://plangs.page/tag/industrial)
- [Interpreter](https://plangs.page/tag/interpreters)
- [Proof Assistant](https://plangs.page/tag/proofs)
- [Scripting](https://plangs.page/tag/scripting)
- [Server](https://plangs.page/tag/server)
- [Shell](https://plangs.page/tag/shell)
- [Visualization](https://plangs.page/tag/viz)