Datalog.lua

A datalog implementation in pure Lua (LPEG parser).

Generate Convert Improve

Install / Use

/learn @catwell/Datalog.lua

About this skill

Quality Score

0/100

README

datalog.lua

Presentation

This is a pure Lua (+ LPEG) implementation of Datalog.

The core interpreter (datalog/datalog.lua) is a modified version of John D. Ramsdell's Datalog from the MITRE corporation.

Usage

lua main.lua examples/path.dl

Dependencies

PUC Lua 5.1 or above + LPEG. This is not tested with LuaJIT (but it probably works).

Tests depend on cwtest.

Copyright

datalog/datalog.lua is Copyright (C) 2004 The MITRE Corporation and released under the GNU LGPL.
All other files are Copyright (c) 2016 Pierre Chapuis and released under the MIT license, see LICENSE.txt.

Related Skills

node-connect

342.5k

Diagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps

frontend-design

85.3k

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.

openai-whisper-api

342.5k

Transcribe audio via OpenAI Audio Transcriptions API (Whisper).

qqbot-media

342.5k

QQBot 富媒体收发能力。使用 <qqmedia> 标签，系统根据文件扩展名自动识别类型（图片/语音/视频/文件）。