SICStus 2.1 #8: Wed Aug 11 10:25:13 MET DST 1993
| ?- {consulting /home/oscar/IAM/Courses/PS/Prolog/Pict/ccs...}
{/home/oscar/IAM/Courses/PS/Prolog/Pict/ccs consulted, 60 msec 12656 bytes}

yes
| ?-      	p
=> a!b!v!nil&p!b!a!v!nil&v?p?v?nil&a?a?a?a?nil&b?b?b?b?nil
	a
=> b!v!nil&p!b!a!v!nil&v?p?v?nil&a?a?a?nil&b?b?b?b?nil
	b
=> v!nil&p!b!a!v!nil&v?p?v?nil&a?a?a?nil&b?b?b?nil
	v
=> nil&p!b!a!v!nil&p?v?nil&a?a?a?nil&b?b?b?nil
	p
=> nil&b!a!v!nil&v?nil&a?a?a?nil&b?b?b?nil
	b
=> nil&a!v!nil&v?nil&a?a?a?nil&b?b?nil
	a
=> nil&v!nil&v?nil&a?a?nil&b?b?nil
	v
=> nil&nil&nil&a?a?nil&b?b?nil

X = (nil&nil&nil&a?a?nil&b?b?nil) ? |: 	p
=> p!a!b!v!nil&b!a!v!nil&v?p?v?nil&a?a?a?a?nil&b?b?b?b?nil
	b
=> p!a!b!v!nil&a!v!nil&v?p?v?nil&a?a?a?a?nil&b?b?b?nil
	a
=> p!a!b!v!nil&v!nil&v?p?v?nil&a?a?a?nil&b?b?b?nil
	v
=> p!a!b!v!nil&nil&p?v?nil&a?a?a?nil&b?b?b?nil
	p
=> a!b!v!nil&nil&v?nil&a?a?a?nil&b?b?b?nil
	a
=> b!v!nil&nil&v?nil&a?a?nil&b?b?b?nil
	b
=> v!nil&nil&v?nil&a?a?nil&b?b?nil
	v
=> nil&nil&nil&a?a?nil&b?b?nil

X = (nil&nil&nil&a?a?nil&b?b?nil) ? |: 
no
| ?-           {SYNTAX ERROR: in lines 33-33}
** operator expected after expression **
?- ; ; 
** here **


{ERROR: segmentation violation}

