search

SWI-Prolog / packages-mqi

Machine Query Interface
18 stars 5 forks source link

Installation warnings of mqi.pl #19

Closed alxfed closed 1 year ago

alxfed commented 1 year ago

When attempting to install mpi.pl with sudo swipl -s mqi.pl -g "mqi:install_to_library('mqi.pl')" -t halt I receive the following Warnings:

Warning: The predicates below are not defined. If these are defined
Warning: at runtime using assert/1, use :- dynamic Name/Arity.
Warning: 
Warning: mqi:opt_meta/2, which is referenced by
Warning:    /home/alxfed/Downloads/mqi.pl:291: 1-st clause of mqi:mqi_start/0

Do you think it's ok? I was just following the instructions from the page https://www.swi-prolog.org/packages/mqi/prologmqi.html EXACTLY.

Linux Ubuntu 22.04

JanWielemaker commented 1 year ago

I don't know, but library(mqi) is bundled with all recent versions of SWI-Prolog, so you should simply be able to load it. Only for old versions you may have to install it. Not sure it still works on old versions.

alxfed commented 1 year ago

The documentation (see the link) instructs you to do it.

JanWielemaker commented 1 year ago

It says this. Possibly the installation route should be removed as the current stable includes mqi.

If your SWI Prolog doesn't yet include the Machine Query Interface:

alxfed commented 1 year ago

Thank you, Jan.