Skip to content

Leuchtkraft is a declarative, logical programming language

License

Notifications You must be signed in to change notification settings

simonwuelker/Leuchtkraft

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

37 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Leuchtkraft

Leuchtkraft is a declarative logical Programming Language with absolutely minimal dependencies. A basic Leuchtkraft program might look like this:

// Logic Clauses
forall X
    bird(X) and healthy(X) => canfly(X) // Healthy birds can fly
    canfly(X) => healthy(X)             // Things that fly are healthy
    wounded(X) and healthy(X) => false  // Things can't both be healthy and wounded

// Facts
true => bird(john) and bird(mary) and bird(jane) // john, mary and jane are birds
true => wounded(john) // john is wounded
true => healthy(jane) // jane is healthy

// Conclusions
X? => canfly(john) => X? // False (john is not a healthy bird)
Y? => canfly(mary) => Y? // Indeterminate (mary's health is unknown)
Z? => canfly(jane) => Z? // True (jane is a healthy bird)

Check out my blog post for more information on how to use Leuchtkraft.

Installation

From crates.io

cargo install leuchtkraft

From source

git clone https://github.com/Wuelle/Leuchtkraft
cd Leuchtkraft
cargo install --path .

Execute leuchtkraft --help for basic usage information.

Road Map

In order or priority:

  • Custom zero-clone parser
  • Logic resolver
  • Awesome build warnings/errors
  • WASM app for testing
  • REPL
  • Var-level unknowns (canfly(X?))
  • Compiler and (if we feel really fancy) JIT

Syntax Highlighting

I only include vim scripts because if you are not using vim, are you really a programmer?

Copy the highlighting script (le.vim) to the ~/.vim/syntax/le.vim.
Then create ~/.vim/ftdetect/le.vim and write au BufRead,BufNewFile *.le set filetype=le to it to associate .le files with leuchtkraft scripts.