Geek Answers Handbook

Is there a reference implementation of ISO-Prolog?

Java has a reference implementation .

Does ISO-Prolog have a reference implementation?

I have INCITS / ISO / IEC 13211-1: 1995 (R 2007) , so no need to suggest this.

EDIT

Note: Conformity assessment I: Syntax

+4
source share
4 answers

, . , a. , ? Java float, .

ISO Prolog. , C, ++ ISO/IEC. , Java , ISO, IEC, ITU CEN, - , ANSI; . .

, Prolog 1972 ; , . . (Prolog 1, Edinburgh, Prolog II ..). -— Prolog ' 1984. BSI 1984 ; AFNOR 1985. 1987 , ISO/IEC 13211-1 1995 .

Java, , C, ++, - . - , ; : .

Prolog :

  • SICStus Prolog 4.3 beta 1. , . Cor.1, Cor.2.

  • GNU Prolog 1.4.4 (git ). , . . Cor.1, Cor.2.

  • IF/Prolog V5. , (. 5.1 e) ISO/IEC 13211-1:1995.

w.r.t. ( ) , .

+5

, , ECLiPSe.
-L iso_strict.

:

ECLiPSe , / 13211-1 ( , , , 1, , 1995) ISO/IEC 13211-1 TC1 (2007) TC2 (2012).

+4

. GNU Prolog ISO Prolog Core. , strict_iso.

Prolog, .

+3

More articles:


All Articles