Test ran at 2025-07-19 00:46:24.514648+00:00

SOLUTION:
prolog=1.0.0: Simple Prolog library
Origin: commit 6ac52773fdb45c0100152081780b2e31b5802986 from https://github.com/jquorning/Prolog.git
Properties:
   Author: Professor David C. Luckham <Anna-Request@Anna.Stanford.EDU>
   Author: Dale Stanbrough <dale@cs.rmit.edu.au>
   Description: Simple Prolog library
   License: custom-anna
   Maintainer: Jesper Quorning <jesper.quorning@gmail.com>
   Maintainers_Logins: jquorning
   Name: prolog
   Tag: prolog
   Tag: logic
   Version: 1.0.0
   Website: https://github.com/jquorning/Prolog


LOG:
[alr test] Testing prolog=1.0.0
[alr test] Spawning retrieval for remote crate: alr -d -n get prolog=1.0.0
Note: Deploying prolog=1.0.0...

prolog=1.0.0 successfully retrieved.
There are no dependencies.
[alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn
Note: Building prolog=1.0.0/prolog.gpr...
Setup
   [mkdir]        object directory for project Prolog
   [mkdir]        library directory for project Prolog
Compile
   [Ada]          prolog-errors.adb
   [Ada]          prolog-input_output.adb
   [Ada]          prolog-write_out.adb
   [Ada]          prolog-evaluable_predicates.adb
   [Ada]          anna_filename_utilities.adb
   [Ada]          prolog-atom_table.adb
   [Ada]          prolog-garbage_collection.adb
   [Ada]          prolog-error_pkg.adb
   [Ada]          prolog-database.adb
   [Ada]          prolog-local_stack.adb
   [Ada]          prolog-variant_garbage_collection.adb
   [Ada]          prolog-transformations.adb
   [Ada]          prolog-read_in.adb
   [Ada]          prolog-var_table.adb
   [Ada]          prolog-execute.adb
prolog-database.adb:486:26: warning: formal parameter "C" is not modified [-gnatwk]
prolog-database.adb:486:26: warning: mode could be "in" instead of "in out" [-gnatwk]
   [Ada]          prolog-ada_logic.adb
prolog-transformations.adb:186:20: warning: formal parameter "V" is not modified [-gnatwk]
prolog-transformations.adb:186:20: warning: mode could be "in" instead of "in out" [-gnatwk]
   [Ada]          prolog.ads
   [Ada]          prolog-global_objects.ads
   [Ada]          prolog-vars.ads
   [Ada]          prolog-term_pkg.adb
prolog-execute.adb:376:33: (style) redundant parentheses [-gnatyx]
   [Ada]          implementation_dependent_routines.adb
prolog-ada_logic.adb:30:06: warning: renamed predefined unit is an obsolescent feature (RM J.1) [-gnatwj]
prolog-ada_logic.adb:180:33: (style) redundant parentheses [-gnatyx]
prolog-ada_logic.adb:1121:17: (style) redundant parentheses [-gnatyx]
prolog-ada_logic.adb:1599:14: (style) redundant parentheses [-gnatyx]
Build Libraries
   [gprlib]       Prolog.lexch
   [archive]      libProlog.a
   [index]        libProlog.a
Success: Build finished successfully in 1.00 seconds.
Found declared GPR file: prolog.gpr
[alr test] Test completed SUCCESSFULLY