libprolog 0.1.2 
libprolog: ^0.1.2 copied to clipboard
libdbm.comA modern, ISO-compliant Prolog engine for Dart. Supports ISO Prolog core predicates, DCG, and provides a clean API for embedding in Dart applications.
We analyzed this package 30 hours ago, and awarded it 160 pub points (of a possible 160):
10/10 points: Provide a valid pubspec.yaml
5/5 points: Provide a valid README.md
5/5 points: Provide a valid CHANGELOG.md
10/10 points: Use an OSI-approved license
Detected license: BSD-3-Clause.
10/10 points: 20% or more of the public API has dartdoc comments
482 out of 583 API elements (82.7 %) have documentation comments.
Some symbols that are missing documentation: libprolog.AnsiColors.AnsiColors.new, libprolog.AnsiColors.bold, libprolog.AnsiColors.cyan, libprolog.AnsiColors.gray, libprolog.AnsiColors.green.
10/10 points: Package has an example
20/20 points: Supports 5 of 6 possible platforms (iOS, Android, Web, Windows, macOS, Linux)
-
✓ Android
-
✓ iOS
-
✓ Windows
-
✓ Linux
-
✓ macOS
These platforms are not supported:
Package not compatible with platform Web
Because:
package:libprolog/libprolog.dartthat imports:package:libprolog/src/api/api_exports.dartthat imports:package:libprolog/src/api/prolog_engine.dartthat imports:package:libprolog/src/io/stream_manager.dartthat imports:package:libprolog/src/io/stream.dartthat imports:dart:io
50/50 points: code has no errors, warnings, lints, or formatting issues
10/10 points: All of the package dependencies are supported in the latest version
| Package | Constraint | Compatible | Latest | Notes |
|---|---|---|---|---|
dart_console |
^4.1.0 |
4.1.2 | 4.1.2 |
Transitive dependencies
| Package | Constraint | Compatible | Latest | Notes |
|---|---|---|---|---|
characters |
- | 1.4.1 | 1.4.1 | |
clock |
- | 1.1.2 | 1.1.2 | |
ffi |
- | 2.2.0 | 2.2.0 | |
intl |
- | 0.20.2 | 0.20.2 | |
meta |
- | 1.18.1 | 1.18.1 | |
path |
- | 1.9.1 | 1.9.1 | |
win32 |
- | 5.15.0 | 6.0.0 |
To reproduce run dart pub outdated --no-dev-dependencies --up-to-date --no-dependency-overrides.
10/10 points: Package supports latest stable Dart and Flutter SDKs
20/20 points: Compatible with dependency constraint lower bounds
pub downgrade does not expose any static analysis error.
Analyzed with Pana 0.23.10, Dart 3.11.1.
Check the analysis log for details.
Weekly downloads
Metadata
Publisher
Weekly Downloads
Metadata
A modern, ISO-compliant Prolog engine for Dart. Supports ISO Prolog core predicates, DCG, and provides a clean API for embedding in Dart applications.
Repository (GitHub)
View/report issues
Topics
#prolog #logic-programming #iso-prolog #dcg #inference-engine
Documentation
License
BSD-3-Clause (license)
