patch-prolog-runtime 0.3.2

Runtime library for patch-prolog2 compiled binaries
Documentation
  • Coverage
  • 72.12%
    150 out of 208 items documented0 out of 130 items with examples
  • Size
  • Source code size: 286.43 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 2.51 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 2s Average build duration of successful builds.
  • all releases: 3s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • navicore

plg-runtime: the support library linked into every compiled Prolog binary (libplg_runtime.a).

It provides the machine substrate compiled predicates call into — term heap, trail, choice-point stack, generic unification, the goal-only --query parser, solution output, and the process entry point. It contains NO clause interpreter: clause control flow lives in the LLVM IR that plgc generates (see docs/design/COMPILATION_MODEL.md and docs/design/LESSONS_FROM_V1.md).