Newsportal USENET - Noacore is a Prolog profile that explores various relaxations

Sujet : Noacore is a Prolog profile that explores various relaxations
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 21. Mar 2025, 19:16:19

Autres entêtes

Message-ID : <vrkadh$7arh$1@solani.org>
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.20

Interestingly a flag strict_iso could solve a few
vexing problems. For example the ISO core standard
did only mention floor/1 with signature F → I.
So in GNU Prolog I can do:
/* GNU Prolog 1.5.0 */
?- current_prolog_flag(strict_iso, X).
X = on
yes
?- X is floor(1).
uncaught exception: error(type_error(float,1),(is)/2)
?- set_prolog_flag(strict_iso, off).
yes
?- X is floor(1).
X = 1
yes
A few Prolog systems don’t share the above behavior,
like SWI-Prolog for example doesn’t throw the type error.
Also SWI-Prolog has nowhere a flag strict_iso.
Currently I have changed my Prolog system to tell me:
/* Dogelog Player 1.3.1 */
?- current_prolog_flag(strict_iso, X).
X = off.

Date	Sujet	#	Auteur
21 Mar 25	Noacore is a Prolog profile that explores various relaxations	6	Mild Shock
21 Mar 25	What about allowing numbers 1e19, etc.. (Re: Novacore is a Prolog profile that explores various relaxations)	5	Mild Shock
21 Mar 25	Re: What about allowing numbers 1e19, etc.. (Re: Novacore is a Prolog profile that explores various relaxations)	1	Mild Shock
25 May08:22	prolog_file_name/2 was a big mistake [Novacore]	3	Mild Shock
25 May08:33	The recent extension/1 addition in Dogelog Player (Was: prolog_file_name/2 was a big mistake [Novacore])	2	Mild Shock
25 May08:39	Corr.: Typo (Was: The recent extension/1 addition in Dogelog Player)	1	Mild Shock