CODEWITHSUNDEEP
prologclpfd
F. P.
F. P.

Reputation: 5086

Boolean assignment in Prolog

all.

I want to assign a boolean value to a variable.

I've tried stuff like.

Diagonal is (XPiece = XFinal)
Diagonal is (XPiece =:= XFinal)
Diagonal is (XPiece is XFinal)

None work...

Any solutions?

Upvotes: 6

Views: 9977

Answers (3)

Fred Foo
Fred Foo

Reputation: 363807

Use an if-then-else:

(XPiece = XFinal ->
    Diagonal = true
;
    Diagonal = false
)

or use 1/0, or whatever you want. Alternatively, use CLP(FD), that supports the idiom you want:

use_module(library(clpfd)).

diag(XPiece, XFinal, Diagonal) :-
    Diagonal #= (XPiece #= XFinal).

Upvotes: 3

Nicholas Carey
Nicholas Carey

Reputation: 74345

Prolog's built-in predicate is/2 evaluates the right-hand side of the expression as an arithmetic expression and unifies the result with the left-hand side.

Also, prolog doesn't have a boolean type. Prolog's built-in types are

  • integer
  • float
  • atom
  • unbound variable
  • compound term

You could elect to represent a boolean value as the atoms true/false (useful for readability), or you could represent a boolean value as the integer values 1/0 (useful for computation). The way most procedural languages, like C, evaluate arithmetic values as booleans is broken WRT formal logic, though: falsity is single-valued (0) and truth multi-valued (non-zero), meaning that which is not false. In formal logic, truth is single-valued and falsity is defined as that which is not true.

So you might want to consider the semantics of your representation and build some predicates to manipulate your booleans, possibly adding some operators to "extend" prolog a bit.

Upvotes: 6

Jiri Kriz
Jiri Kriz

Reputation: 9292

What about

diagonal(XPiece, XFinal) :- XPiece = XFinal.

Upvotes: 1

Related Questions