Questions tagged [iso-prolog]

ISO/IEC has standardized Prolog. The standard is maintained by ISO/IEC JTC1/SC22/WG17.

The currently valid Prolog standard documents can be obtained from national member bodies like ANSI or directly from ISO. Overview of defined features.

ISO/IEC 13211-1:1995. Part 1: General core. Published 1995-06-01. Also available much cheaper as INCITS/ISO/IEC 13211-1:1995 (R 2007) due to INCITS.
ISO/IEC 13211-1:1995/Cor.1:2007. Technical Corrigendum 1. Published 2007-11-15. Free of charge.
ISO/IEC 13211-1:1995/Cor.2:2012. Technical Corrigendum 2. Published 2012-02-15. Free of charge.
ISO/IEC 13211-1:1995/Cor.3:2017. Technical Corrigendum 3. Published 2017-07-18. Free of charge.
ISO/IEC 13211-2:2000. Part 2: Modules. Published 2000-06-01. Also available much cheaper as INCITS/ISO/IEC 13211-2:2000 (R 2006) due to INCITS.

Stack Overflow contributions about the standard documents:

143 questions

votes

3 answers

Parsing from char to digit Prolog

I have the following: is_digit(X):-char_type(X,digit). When I call it like this: is_digit(X). I get the folloring results: X='0'; X='1'; ... ; X='9' I need to get those same results but without the quotes. Excuse me if it is a simple…

parsing prolog iso-prolog

asked Dec 03 '11 at 20:19

Soph

2,895
5
37
68

votes

1 answer

How to emulate ulp/1 evaluable function in Prolog

I find myself using the Java function Math.ulp() from time to time. It has an implementation based on unpacking a float number, and doing some bit shuffling. How would one bootstrap ulp() from ISO core standard arithmetic functions only in Prolog?…

prolog iso-prolog

asked Oct 28 '22 at 17:39

Rúben Dias

votes

1 answer

prolog atom concat swi and yap prolog

input : run([p(X,Y,Z),h(Z,P,Q)],Out). code: :- ensure_loaded(library(lists)). run([X|Y],Out) :- X =.. [Fct|Args], X =..Total, length(Args,L), concat(abs_,L,Fct_A), Out =.. [Fct_A|Total]. on swi prolog i get the right answer: A =…

prolog iso-prolog yap

asked Jul 23 '11 at 19:20

FrankTan

1,626
6
28
63

votes

1 answer

Get index of a Term's argument in Prolog

I need to get the index of a term's argument in Prolog. Predicate arg/3 seems to do the opposite of what I need: arg(Index, Term, Value). arg/3 fails if Index is a variable, so it's not possible to get the index of a given value and term. You guys…

prolog iso-prolog

asked May 10 '20 at 22:04

dgarciagarcia

votes

0 answers

WARNING: The predicate =/2 is unknown

I'm trying to transfer a file written for SICStus Prolog into TuProlog. I get the error message: WARNING: The predicate =/2 is unknown. (The code works in SICStus, but not in TuProlog). What should I use instead of =/2 for TuProlog? What is the…

iso-prolog tuprolog

asked May 12 '15 at 08:22

hassapikos

votes

3 answers

The result of Sum is floor(Col + Row + 1) is never an integer and I don't know why

I have to write a piece of prolog where I have to calculate which position in an array is used to store a value. However the result of these calculations should return an integer, so I use the floor/1 predicate to get myself the integer of the value…

prolog iso-prolog eclipse-clp

asked Apr 15 '14 at 16:51

Delko

votes

3 answers

strange arithmetic with swi-prolog

I find the result very strange. Why not 0.3? Can somebody tell me why this result? Is it possible to fix this. ?- X is 5.3-5. X = 0.2999999999999998. ?- My second question is how would I transform from 'hour' notation '13.45'…

floating-point prolog floating-accuracy iso-prolog

asked Feb 25 '14 at 16:45

vincent

votes

3 answers

Swi prolog Error: Showing true but not false

Just installed SWI-Prolog on my W8 machine and it's throwing an error. Here's the error: ERROR: toplevel: Undefined procedure: mark/0 (DWIM could not correct goal) Let's say my prolog source file contains one fact: Prolog source... …

prolog iso-prolog

asked Nov 18 '13 at 17:44

Lee Brindley

6,242
5
41
62

Prev 1 2 3

…