Skip to content

Main Navigation Getting Started User Guide Examples

Appearance

Sidebar Navigation

User Guide

Overview

Logica Execution

Logica Installation

Query Engine

Run in Terminal

Run in Notebook

Logica Basic

Facts

Rules

Value Types

Basic Operations

Named Arguments

Multiset Semantics

Logica Advanced

Aggregation

Negation

Recursion

Functions

Boolean Logic

Functional Notation

Answer Set Programming

Functors

Logica Cheatsheet

Build-In Operators

Imperatives

On this page

Answer Set Programming

TODO: write this

Pager

Previous pageFunctional Notation

Next pageFunctors

Released under the Apache 2.0 License. Copyright © 2024-present Logica Devs