TOtodsacerdoti·Aug 1, 2022Submission
Ceptre, a tiny logic programming language for prototyping rulesets that you can
2 points · Open discussionchrisamaphone
interactive-lp
Standard ML2015–2022
chrisamaphone / interactive-lp
interactive-lp
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
4Distinct people
5Mentions
0Explicit recommenders
293GitHub stars
What to know before exploring
What it is
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 1:49:46 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year5 dated mentions
Observed mentions: 2015-08-16 23:25:48 UTC to 2022-08-01 02:34:18 UTC.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2015 | 2015-01-01 00:00:00 UTC | 2016-01-01 00:00:00 UTC | 3 | 0 | 3 |
| 2016 | 2016-01-01 00:00:00 UTC | 2017-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2017 | 2017-01-01 00:00:00 UTC | 2018-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2018 | 2018-01-01 00:00:00 UTC | 2019-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2019 | 2019-01-01 00:00:00 UTC | 2020-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2020 | 2020-01-01 00:00:00 UTC | 2021-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2022 | 2022-01-01 00:00:00 UTC | 2023-01-01 00:00:00 UTC | 1 | 1 | 0 |
What Hacker News says
5 sourcesI develop Alexa skills and I agree with the article. Another point that is missing is that the technology hasn't "closed the loop". We have great ASR and NLU available, but responses still need to be built by hand or templated. This is the major reason bots feel so unnatural. I think there's a lot of opportunity for robust Natural Language Generation solutions to help build voice apps and chat bots that can operate more flexibly.
Also, there's a need for a more declarative, high level programming language to describe how you can interact with a bot. Defining them as trees or graphs isn't flexible enough. I've had promising results from experimenting with concepts from Ceptre (https://github.com/chrisamaphone/interactive-lp). Fortunately there are a lot of startups experimenting in this space, I think we'll see the most effective practices
Read the rest
replicated quickly.
Here's the Ceptre repo. The interpreter is written in Standard ML.
http://www.github.com/chrisamaphone/interactive-lp
In Programming Interactive Worlds with Linear LogicI posted this in another comment, but her github repo has a Ceptre implementation: https://github.com/chrisamaphone/interactive-lp/
There are details on getting the trace graphed in the tutorial. (If you want more detail in the trace you can uncomment the code on this line: https://github.com/chrisamaphone/interactive-lp/blob/master/... )
In Ceptre: A Language for Modeling Generative Interactive Systems [pdf]I'm a big fan of this work. For the PDF-shy, there's some excerpted text on LtU: http://lambda-the-ultimate.org/node/5216 but you'll miss some of the goodies, like the graph of a scenario from Romeo and Juliet, showing the actors act concurrently at different locations.
See also the github repo: https://github.com/chrisamaphone/interactive-lp/
There is an emphasis on using Ceptre for developing interactive fiction¹ (text adventures/parser games.) From my perspective, a pain point in developing truly creative interactive fiction is the tools available tend to impose a world model on your work. I'm excited for Ceptre because it lets you write causal relationships directly and that makes starting from scratch a more realistic proposition.
1. With some work I think it could be (and should be) used in other kinds of games, such as sandbox gam
Read the rest
es or anything that would benefit from a living world, even if only in part if the main story must be nailed down and deterministic.