Test ran at 2025-03-07 00:46:44.884415+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:
Spawning: alr -d -n get --build prolog=1.0.0
Note: Deploying prolog=1.0.0...
Note: Building prolog=1.0.0/prolog.gpr...
Setup
   [mkdir]        object directory for project Prolog
   [mkdir]        library directory for project Prolog
Compile
   [Ada]          prolog.ads
   [Ada]          prolog-write_out.adb
   [Ada]          prolog-var_table.adb
   [Ada]          prolog-vars.ads
   [Ada]          prolog-variant_garbage_collection.adb
   [Ada]          prolog-transformations.adb
   [Ada]          prolog-term_pkg.adb
   [Ada]          prolog-read_in.adb
   [Ada]          prolog-local_stack.adb
   [Ada]          prolog-input_output.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-global_objects.ads
   [Ada]          prolog-garbage_collection.adb
   [Ada]          prolog-execute.adb
   [Ada]          prolog-evaluable_predicates.adb
   [Ada]          prolog-error_pkg.adb
   [Ada]          prolog-errors.adb
   [Ada]          prolog-database.adb
prolog-input_output.adb:197:07: warning: renamed variable "Str" is not referenced [-gnatwu]
   [Ada]          prolog-atom_table.adb
   [Ada]          prolog-ada_logic.adb
   [Ada]          implementation_dependent_routines.adb
   [Ada]          anna_filename_utilities.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]
prolog-ada_logic.adb:1031:07: warning: possibly useless assignment to "Temp", value might not be referenced [-gnatwm]
Build Libraries
   [gprlib]       Prolog.lexch
   [archive]      libProlog.a
   [index]        libProlog.a

prolog=1.0.0 successfully retrieved and built.
There are no dependencies.
Found declared GPR file: prolog.gpr