KM

frame-based language with clear first-order logic semantics

Aliases: Knowledge Machine

Wikidata: Q6334120

Influenced: KRL

Programming paradigms: declarative programming • knowledge representation and reasoning

Language types: declarative programming language

➡️ Influence Network Poster

➡️ Hack the Planet

Pan and zoom the graph with your mouse or alternatively your fingers on touch devices.

ℹ️ Click on a column heading to sort the results.
Name	Description	Last pushed to	Open issues	Forks	Stars	Size

Latest data update: 2024-11-28