File: passive_check2.chr

package info (click to toggle)
swi-prolog 9.0.4%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 82,408 kB
  • sloc: ansic: 387,503; perl: 359,326; cpp: 6,613; lisp: 6,247; java: 5,540; sh: 3,147; javascript: 2,668; python: 1,900; ruby: 1,594; yacc: 845; makefile: 428; xml: 317; sed: 12; sql: 6
file content (12 lines) | stat: -rw-r--r-- 252 bytes parent folder | download | duplicates (12) 
1
2
3
4
5
6
7
8
9
10
11
12
 
:- module(passive_check2,[passive_check2/0]).
:- use_module(library(chr)).

:- chr_constraint a/1, b/2.

:- chr_option(debug,off).
:- chr_option(optimize,full).

a(X) # ID, b(X,R) <=> R = 1 pragma passive(ID).

passive_check2 :-
	a(X), b(X,R), R == 1.