Samovar

A programming language in the genre of dsl by Chris Pressey, Cat's Eye Technologies, 2016

Samovar is a DSL for world-modeling using predicates rather than explicit objects. It could be thought of as an "assertion-retraction engine", which itself could be thought of as a very stilted style of Prolog programming plus some syntactic sugar.

Sample Program

rules
  [actor(α),item(β),~holding(α,β)]  α picks up the β.   [holding(α,β)]
  [actor(α),item(β),holding(α,β)]   α puts down the β.  [~holding(α,β)]
end
situations
  [actor(Ignatz),item(brick)]
end

Computational Class

unknown computational class

Programming Paradigms

Defined by

Samovar distribution

Documentation

Download

Download latest release (0.1)

Development

Github: catseye/Samovar

Issue tracker: on github

Influences