Expand description
A free software ISO Prolog system.
Structs§
- Input
Stream Config - Configuration for an input stream;
- Machine
- An instance of Scryer Prolog.
- Machine
Builder - Describes how a
Machinewill be configured. - Output
Stream Config - Configuration for an output stream.
- Query
State - An iterator though the leaf answers of a query.
- Stream
Config - Describes how the streams of a
Machinewill be handled. - User
Input - A handler for the stdin of the
Machine.
Enums§
- Leaf
Answer - Represents a leaf answer from a query.
- Term
- Represents a Prolog term.
Functions§
- default_
toplevel - Returns a static string slice to the default toplevel
- run_
binary - The entry point for the Scryer Prolog CLI.