All geek questions in one place

Prolog Compatibility Levels - Available Software Libraries

In some implementations of Prolog, there is no predicate available in others.

We can implement the missing predicates, let me call this "Prolog compatibility level."

Do you know the "Prolog Compatibility Levels" for Prolog (especially for GNU-Prolog)?

Please structure your answers as follows:

  • Title with a link.
  • "Implemented for implementation" - prolog, you can use
  • "Compatibility with" - the implementation of the prologue for which the compatibility level is fulfilled.
  • "Functions" - a list of compatibility functions (you can highlight your favorites).
  • "Additional Information" - comments, requirements, restrictions, etc.
  • License - License Information

PS Question raised by another question: Prolog syntax problem .

+5
source share
1 answer

Compatibility Level with YAP, SWI, and GNU

Implemented for: GNU-Prolog, SWI Prolog, YAP Prolog.

Compatibility with: SWI-Prolog and other prologs

Description: (GNU Compat.) "Implements many of the basic predicates found in SWI Prolog and many other Prolog implementations that are not available in GNU Prolog."

Functions: (GNU-compatible.) No / 1, is_list / 1, succ / 2, sformat / 3, line / 1, is_codes / 1, arithmetic_function, eval_arith / 2 , downcase_atom / 2, forall / 2, flag / 3, between / 3 , gensym / 2, time / 1, if / 2, if / 3, if / 4

Additional Information: (GNU Compat.) "In addition, you need to include lists.pl from the SWI distribution."

License: GNU Public License

+4
source

Source: https://habr.com/ru/post/895748/

More articles:


All Articles