Main Navigation Browser IDE LSP Diagnostics Visual editor Reference MeTTa TS docs GitHub

Appearance

Sidebar Navigation

Language server

Overview

Editor setup

Command line

Agent setup (MCP)

Programmatic API

Search & replace

Suppressing diagnostics

Lint rules

Mixfix pseudocode

Browser IDE

Visual editor

Runtime playground

Reference

Builtins reference

MeTTa API

Overview

Modules

01-hovers

02-running

03-python

04-diagnostics

05-lint-and-suppression/demo

06-type-suggestions

07-pseudocode

08-navigation

09-formatting

10-testing

11-modules/geometry

11-modules/lib/vectors

11-modules/main

12-completion-and-hints

13-trace

14-editor-surfaces

15-guarded-and-agent-surfaces

16-debugging

17-prolog-diagnostics/main

18-host-bridge/main

math

Host operations

my-max

On this page

17-prolog-diagnostics/main

Source: examples/17-prolog-diagnostics/main.metta

Imports

bad-facts.pl
facts.pl

Symbols

This module declares no public symbols.

Pager

Previous page16-debugging

Next page18-host-bridge/main

Released under the Apache-2.0 License.

MeTTa LSP

17-prolog-diagnostics/main ​

Imports ​

Symbols ​

17-prolog-diagnostics/main

Imports

Symbols