Doug Ransom

I am interested in: - creating a package that can be published to pypi, managed with uv - updating the tests to pytest Assign to me if you are ammenable.

Difficulty appending domains

5

Attempting to read a file and add domain constraints. ```prolog ?- foldl(clpz:\/, [3..4,8..10,15..20],0..0,X). error(syntax_error(incomplete_reduction),read_term/3:1). ``` workaround: ```prolog append_domains(C1,C2,C3):- C3=C1\/C2. ?- foldl(append_domains, [3..4,8..10,15..20],0..0,X). X = 15..20\/(8..10\/(3..4\/0..0)) ``` I don't understand why...

History Buffer To Short

1

I am monitoring a topic generated by frigate. By the time I walk in front of my camera and bag to generate the event of interest, too many updates have...

Getting Started With Scryer Tutorial

2

A guide for new to Prolog or new to Scryer to get started. Covers a few simple things that might help newbies save some time.

Reif cookbook

15

A few examples on using reif.

```bash doug@kite:~/code/scryer-prolog/target/release$ env RUST_BACKTRACE=1 ./scryer-prolog -f -v v0.10.0-17-ge4d96925 doug@kite:~/code/scryer-prolog/target/release$ env RUST_BACKTRACE=1 ./scryer-prolog -f ?- current_predicate(http/http_open:X). thread 'main' (479529) panicked at src/machine/system_calls.rs:3996:17: internal error: entered unreachable code stack backtrace: 0: __rustc::rust_begin_unwind...

Incomplete Reduction Error on dynamic directive.

3

I don't think this is correct behavior: `?- :-dynamic hello/1. error(syntax_error(incomplete_reduction),read_term/3:1). ?-`

dynamic is not documented in Scryer documentation.

3

Prolog examples all over the internet, or generated with tools like CoPilot, use something like: `:- dynamic foo/1.`. to declare dynamic predicates. Apparently that is not ISO compliant and a...